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 条
  • [21] Invariants and fuzzy logic
    Resconi, G
    Ratti, C
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2003, 2773 : 207 - 212
  • [22] ESSENTIALISM AND QUANTIFIED MODAL LOGIC
    PARSONS, T
    PHILOSOPHICAL REVIEW, 1969, 78 (01): : 35 - 52
  • [23] Unifying quantified modal logic
    Garson, JW
    JOURNAL OF PHILOSOPHICAL LOGIC, 2005, 34 (5-6) : 621 - 649
  • [24] Quantified computation tree logic
    Patthak, AC
    Bhattacharya, I
    Dasgupta, A
    Dasgupta, P
    Chakrabarti, PP
    INFORMATION PROCESSING LETTERS, 2002, 82 (03) : 123 - 129
  • [25] THE UNAXIOMATIZABILITY OF A QUANTIFIED INTENSIONAL LOGIC
    GARSON, JW
    JOURNAL OF PHILOSOPHICAL LOGIC, 1980, 9 (01) : 59 - 72
  • [26] Unifying Quantified Modal Logic
    James W. Garson
    Journal of Philosophical Logic, 2005, 34 : 621 - 649
  • [27] ELEMENTARY LOGIC
    MONK, D
    AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (4P1): : 432 - &
  • [28] ELEMENTARY LOGIC
    不详
    SCIENTIFIC AMERICAN, 1965, 213 (04) : 124 - &
  • [29] Elementary Logic
    不详
    EDUCATION, 1907, 27 (06): : 375 - 375
  • [30] Quantified Invariants via Syntax-Guided Synthesis
    Fedyukovich, Grigory
    Prabhu, Sumanth
    Madhukar, Kumar
    Gupta, Aarti
    COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 259 - 277
12345