QUANTIFICATION OVER PROPOSITIONAL FORMULAS IN PROBABILITY LOGIC: DECIDABILITY ISSUES

被引：5
|
作者：
Speranskii, S. O. [1 ]
机构：
[1] Novosibirsk State Univ, Novosibirsk 630090, Russia
来源：
ALGEBRA AND LOGIC | 2011年 / 50卷 / 04期
关键词：
probability logic; quantification over propositions; decidability;
D O I：
10.1007/s10469-011-9148-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
A language for reasoning about probability is generalized by adding quantifiers over propositional formulas to the language. Then relevant decidability issues are considered. In particular, the results presented demonstrate that a rather weak fragment of the new language has an undecidable validity problem. On the other hand, it is stated that a restricted version of the validity problem is decidable for for all there exists-sentences.
引用
收藏
页码：365 / 374
页数：10
相关论文
共 16 条
  • [1] Quantification over propositional formulas in probability logic: decidability issues
    S. O. Speranskii
    Algebra and Logic, 2011, 50 : 365 - 374
  • [2] Decidability of propositional projection temporal logic with infinite models
    Duan, Zhenhua
    Tian, Cong
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 521 - +
  • [3] An infinitary propositional probability logic
    Stefano Baratella
    Archive for Mathematical Logic, 2023, 62 : 291 - 320
  • [4] An infinitary propositional probability logic
    Baratella, Stefano
    ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (3-4) : 291 - 320
  • [5] Complexity for probability logic with quantifiers over propositions
    Speranski, Stanislav O.
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (05) : 1035 - 1055
  • [6] Decidability of the weak interpolation property over the minimal logic
    L. L. Maksimova
    Algebra and Logic, 2011, 50
  • [7] Theory of probability semantics of classical propositional logic and its application
    Zhang, Jia-Lu
    Chen, Xue-Gang
    Zhao, Xiao-Dong
    Jisuanji Xuebao/Chinese Journal of Computers, 2014, 37 (08): : 1775 - 1785
  • [8] DECIDABILITY OF THE WEAK INTERPOLATION PROPERTY OVER THE MINIMAL LOGIC
    Maksimova, L. L.
    ALGEBRA AND LOGIC, 2011, 50 (02) : 106 - 132
  • [9] Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
    Boigelot, Bernard
    Fontaine, Pascal
    Vergain, Baptiste
    AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 542 - 559
  • [10] Decidability of first-order logic queries over views
    Bailey, J
    Dong, GZ
    DATABASE THEORY - ICDT'99, 1999, 1540 : 83 - 99
12