Elementary Invariants for Quantified Probability Logic
-
Published:2023-04
Issue:2
Volume:107
Page:93-96
-
ISSN:1064-5624
-
Container-title:Doklady Mathematics
-
language:en
-
Short-container-title:Dokl. Math.
Publisher
Pleiades Publishing Ltd
Subject
General Mathematics
Reference12 articles.
1. M. Abadi and J. Y. Halpern, “Decidability and expressiveness for first-order logics of probability,” Inf. Comput. 112 (1), 1–36 (1994).
2. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin, “Elementary theories,” Russ. Math. Surv. 20 (4), 35–105 (1965).
3. R. Fagin, J. Y. Halpern, and N. Megiddo, “A logic for reasoning about probabilities,” Inf. Comput. 87 (1–2), 78–128 (1990).
4. J. Y. Halpern, “An analysis of first-order logics of probability,” Artif. Intell. 46 (3), 311–350 (1990).
5. J. Y. Halpern, “Presburger arithmetic with unary predicates is $$\Pi _{1}^{1}$$ complete,” J. Symb. Logic 56 (2), 637–642 (1991).