Elementary Invariants for Quantified Probability Logic

被引：0
|
作者：
S. O. Speranski
机构：
[1] Steklov Mathematical Institute of Russian Academy of Sciences,
来源：
Doklady Mathematics | 2023年 / 107卷
关键词：
probability logic; quantification over events; elementary invariants; complexity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：93 / 96
页数：3
相关论文
共 50 条
  • [1] Elementary Invariants for Quantified Probability Logic
    Speranski, S. O.
    DOKLADY MATHEMATICS, 2023, 107 (02) : 93 - 96
  • [2] Sharpening complexity results in quantified probability logic
    Speranski, Stanislav O.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [3] Quantified Differential Invariants
    Platzer, Andre
    HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 63 - 72
  • [4] Quantified coalition logic
    Thomas Ågotnes
    Wiebe van der Hoek
    Michael Wooldridge
    Synthese, 2008, 165 : 269 - 294
  • [5] Quantified Coalition Logic
    Agotnes, Thomas
    van der Hoek, Wiebe
    Wooldridge, Michael
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1181 - 1186
  • [6] A quantified logic of evidence
    Fitting, Melvin
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 152 (1-3) : 67 - 83
  • [7] A Quantified Logic of Evidence
    Fitting, Melvin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 59 - 71
  • [8] Quantified coalition logic
    Agotnes, Thomas
    van der Hoek, Wiebe
    Wooldridge, Michael
    SYNTHESE, 2008, 165 (02) : 269 - 294
  • [9] Synthesizing Universally-Quantified Inductive Invariants
    Shoham, Sharon
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (260): : 3 - 3
  • [10] QUANTIFIED PROPOSITIONS IN A LINGUISTIC LOGIC
    YAGER, RR
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1983, 19 (02): : 195 - 227
12345