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

共 50 条

[1] Quantification over propositional formulas in probability logic: decidability issues
S. O. Speranskii
Algebra and Logic, 2011, 50 : 365 - 374
[2] ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGIC
CHLEBUS, BS
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 247 - 261
[3] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
[4] THE DECIDABILITY OF DEPENDENCY IN INTUITIONISTIC PROPOSITIONAL LOGIC
DEJONGH, D
CHAGROVA, LA
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (02) : 498 - 504
[5] Fullness and Decidability in Continuous Propositional Logic
Ren, Xuanzhi
MATHEMATICS, 2022, 10 (23)
[6] A note on decidability of variables in intuitionistic propositional logic
Ishii, Katsumasa
MATHEMATICAL LOGIC QUARTERLY, 2018, 64 (03) : 183 - 184
[7] CUT FORMULAS IN PROPOSITIONAL LOGIC
ZHANG, WH
THEORETICAL COMPUTER SCIENCE, 1993, 120 (01) : 157 - 168
[8] Decidability and Undecidability in Probability Logic
Terwijn, Sebastiaan A.
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 441 - 450
[9] Decidability of propositional projection temporal logic with infinite models
Duan, Zhenhua
Tian, Cong
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 521 - +
[10] An infinitary propositional probability logic
Stefano Baratella
Archive for Mathematical Logic, 2023, 62 : 291 - 320

← 1 2 3 4 5 →