Abstract
Several justification logics have been created, starting with the logic LP, (Artemov, Bull Symbolic Logic 7(1):1–36, 2001). These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief, in which the unanalyzed necessity (knowledge, belief) operator has been replaced with a family of explicit justification terms. We begin by sketching the basics of justification logics and their relations with modal logics. Then we move to new material. Modal logics come in various strengths. For their corresponding justification logics, differing strength is reflected in different vocabularies. What we show here is that for justification logics corresponding to modal logics extending T, various familiar extensions are actually conservative with respect to each other. Our method of proof is very simple, and general enough to handle several justification logics not directly corresponding to distinct modal logics. Our methods do not, however, allow us to prove comparable results for justification logics corresponding to modal logics that do not extend T. That is, we are able to handle explicit logics of knowledge, but not explicit logics of belief. This remains open.
Similar content being viewed by others
References
Artemov, S.: Explicit provability and constructive semantics. The Bulletin for Symbolic Logic 7(1), 1–36 (2001)
Artemov, S.: Evidence-based common knowledge. Technical report, Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science (2004)
Artemov, S.: Justified common knowledge. Theor. Comp. Sci. 357(1–3), 4–22 July (2006)
Artemov, S., Nogina, E.: Introducing justification into epistemic logic. J. Log. Comput. 15(6), 1059–1073 (2005)
Brezhnev, V.: Explicit counterparts of modal logic (in Russian). Master’s thesis, Lomonosov Moscow State University (1999)
Fagin, R., Halpern, J.Y.: Beliefs, awareness and limited reasoning. Artif. Intell. 34, 39–76 (1988)
Fitting, M.C.: Semantics and tableaus for LPS4. Technical Report TR-2004016, CUNY Ph.D. Program in Computer Science. http://www.cs.gc.cuny.edu/tr/ (2004)
Fitting, M.C.: The logic of proofs, semantically. Ann. Pure Appl. Logic 132, 1–25 (2005)
Fitting, M.C.: A quantified logic of evidence (short version). In: de Queiroz, R., Macintyre, A., Bittencourt, G. (eds.) WoLLIC 2005 Proceedings. Electronic Notes in Theoretical Computer Science, pp. 59–70. Elsevier, Amsterdam (2005)
Fitting, M.C.: Explicit logics of knowledge and conservativity. In: Proceedings, Tenth International Symposium on Artificial Intelligence and Mathematics (2008). Electronic version at http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/MFitting-ss1.pdf
Fitting, M.C.: A quantified logic of evidence. Ann. Pure Appl. Logic 152(1–3), 67–83 (2008), March
Fitting, M.C.: Reasoning with justifications. In: Towards Mathematical Philosophy, in the Trends in Logic series (2009, in press)
Hintikka, J.: Knowledge and Belief. Cornell University Press, New York (1962)
Kuznets, R.: On self-referentiality in modal logic. Bull. Symbolic Logic, 12(3), 510 (2006)
Mkrtychev, A.: Models for the logic of proofs. In: Adian, S.I., Nerode, A. (eds.) Logical Foundations of Computer Science. Lecture Notes in Computer Science, vol. 1234, pp. 266–275. Springer, New York (1997)
Pacuit, E.: A note on some explicit modal logics. In: Dimitracopoulos, C. (ed.) Proceedings of the Fifth Panhellenic Logic Symposium, pp. 117–125 (2005)
Renne, B.: Bisimulation and public announcements in logics of explicit knowledge. In: Artemov, S., Parikh, R. (eds.) Proceedings of the Workshop on Rationality and Knowledge. 18th European Summer School in Logic, Language, and Information (ESSLLI), pp. 112–123. Málaga, Spain (2006)
Rubtsova, N.: Evidence reconstruction of epistemic modal logic S5. In Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) Computer Science—Theory and Applications. Lecture Notes in Computer Science, vol. 3967, pp. 313–321. Springer, New York (2006)
Yavorskaya (Sidon), T.: Logic of proofs with two proof predicates. In: Grivoriev, D., Harrison, J., Hirsch, E. (eds.) Computer Science—Theory and Applications. Lecture Notes in Computer Science, vol. 3967. Springer, New York (2006)
Yavorsky, R.: Provability logics with quantifiers on proofs. Ann. Pure Appl. Logic 113(1–3), 373–387 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper is an extended version of [10].
Rights and permissions
About this article
Cite this article
Fitting, M. Justification logics, logics of knowledge, and conservativity. Ann Math Artif Intell 53, 153–167 (2008). https://doi.org/10.1007/s10472-009-9112-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-009-9112-2