Abstract
In [1], Fitting showed that the standard hierarchy of logics of justified knowledge is conservative (e.g. a logic with positive introspection operator ! is conservative over the logic without !). We do the same with most logics of justified belief, but taking a semantic approach rather than Fitting’s syntactic one. A brief example shows that conservativity does not hold for logics of justified consistent belief.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Fitting, M.: Explicit logics of knowledge and conservativity. In: Tenth International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008, Fort Lauderdale, Florida, January 2–4, 2008, Online Proceedings (2008)
Artëmov, S.N.: Logic of proofs. Annals of Pure and Applied Logic 67(1–3), 29–59 (1994)
Artemov, S.N.: Explicit provability: the intended semantics for intuitionistic and modal logic. Technical Report CFIS 98–10, Cornell University (September 1998)
Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Gödel, K.: Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse Math. Colloq. 4, 39–40 (1933)
Brezhnev, V.N.: On the logic of proofs. In: Striegnitz, K. (ed.) Proceedings of the sixth ESSLLI Student Session, Helsinki, pp. 35–46 (August 2001)
Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1–25 (2005)
Mkrtychev, A.: Models for the Logic of Proofs. In: Adian, S.I., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266–275. Springer, Heidelberg (1997)
Kuznets, R.: On the complexity of explicit modal logics. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 371–383. Springer, Heidelberg (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
Milnikel, R.S. (2008). Conservativity for Logics of Justified Belief. 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_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-92687-0_24
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)