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 条
  • [41] THE LOGIC OF PROBABILITY
    FINETTI, BD
    PHILOSOPHICAL STUDIES, 1995, 77 (01) : 181 - 190
  • [42] Separation Logic with One Quantified Variable
    Demri, Stephane
    Galmiche, Didier
    Larchey-Wendling, Dominique
    Mery, Daniel
    THEORY OF COMPUTING SYSTEMS, 2017, 61 (02) : 371 - 461
  • [43] PROBABILITY LOGIC
    AMER, MA
    JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 441 - 441
  • [44] On probability and logic
    Sernadas, Amilcar
    Rasga, Joao
    Sernadas, Cristina
    PORTUGALIAE MATHEMATICA, 2017, 74 (04) : 267 - 313
  • [45] COUNTERPART THEORY AND QUANTIFIED MODAL LOGIC
    LEWIS, DK
    JOURNAL OF PHILOSOPHY, 1968, 65 (05): : 113 - 126
  • [46] Partial Semantics for Quantified Modal Logic
    Eric Johannesson
    Journal of Philosophical Logic, 2018, 47 : 1049 - 1060
  • [47] Free Logic and the Quantified Argument Calculus
    Pavlovic, Edi
    Gratzl, Norbert
    PHILOSOPHY OF LOGIC AND MATHEMATICS, 2020, 27 : 105 - 115
  • [48] Counterparts, Essences and Quantified Modal Logic
    Bigaj, Tomasz
    LOGIC AND LOGICAL PHILOSOPHY, 2022, : 39 - 52
  • [49] Probability and Logic
    Easwaran, Kenny
    PHILOSOPHY COMPASS, 2014, 9 (12): : 876 - 883
  • [50] PROBABILITY LOGIC
    BURGESS, JP
    JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) : 264 - &