Abstract
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas is undecidable.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Feferman, S. (eds.): Model-theoretic logics. Springer, Heidelberg (1985)
Börger, E., Grädel, E., Gurevich, Y.: The classical decision problem. Springer, Heidelberg (1997)
Doob, J.L.: Measure theory. Springer, Heidelberg (1994)
Jaeger, M.: A logic for inductive probabilistic reasoning. Synthese 144(2), 181–248 (2005)
Keisler, H.J.: Probability quantifiers. In: [1], pp. 509–556
Probability logic papers, database, http://problog.mi.sanu.ac.yu/index.html
Terwijn, S.A.: Probabilistic logic and induction. Journal of Logic and Computation 15(4), 507–515 (2005)
Terwijn, S.A.: Model-theoretic aspects of probability logic (in preparation)
Trakhtenbrot, B.: The impossibility of an algorithm for the decision problem for finite models. Dokl. Akad. Nauk SSSR 70, 572–596 (1950); English translation in AMS Transl. Ser. 2, 1–6 (1963)
Valiant, L.G.: Robust logics. Artificial Intelligence 117, 231–253 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Terwijn, S.A. (2008). Decidability and Undecidability in Probability Logic. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2009. Lecture Notes in Computer Science, vol 5407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92687-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-92687-0_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92686-3
Online ISBN: 978-3-540-92687-0
eBook Packages: Computer ScienceComputer Science (R0)