Skip to main content
Log in

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Artemov, S.: Explicit provability and constructive semantics. The Bulletin for Symbolic Logic 7(1), 1–36 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  2. Artemov, S.: Evidence-based common knowledge. Technical report, Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science (2004)

  3. Artemov, S.: Justified common knowledge. Theor. Comp. Sci. 357(1–3), 4–22 July (2006)

    Article  MATH  MathSciNet  Google Scholar 

  4. Artemov, S., Nogina, E.: Introducing justification into epistemic logic. J. Log. Comput. 15(6), 1059–1073 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  5. Brezhnev, V.: Explicit counterparts of modal logic (in Russian). Master’s thesis, Lomonosov Moscow State University (1999)

  6. Fagin, R., Halpern, J.Y.: Beliefs, awareness and limited reasoning. Artif. Intell. 34, 39–76 (1988)

    Article  MathSciNet  Google Scholar 

  7. 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)

  8. Fitting, M.C.: The logic of proofs, semantically. Ann. Pure Appl. Logic 132, 1–25 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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

  11. Fitting, M.C.: A quantified logic of evidence. Ann. Pure Appl. Logic 152(1–3), 67–83 (2008), March

    Article  MATH  MathSciNet  Google Scholar 

  12. Fitting, M.C.: Reasoning with justifications. In: Towards Mathematical Philosophy, in the Trends in Logic series (2009, in press)

  13. Hintikka, J.: Knowledge and Belief. Cornell University Press, New York (1962)

    Google Scholar 

  14. Kuznets, R.: On self-referentiality in modal logic. Bull. Symbolic Logic, 12(3), 510 (2006)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Pacuit, E.: A note on some explicit modal logics. In: Dimitracopoulos, C. (ed.) Proceedings of the Fifth Panhellenic Logic Symposium, pp. 117–125 (2005)

  17. 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)

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. Yavorsky, R.: Provability logics with quantifiers on proofs. Ann. Pure Appl. Logic 113(1–3), 373–387 (2002)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Melvin Fitting.

Additional information

This paper is an extended version of [10].

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-009-9112-2

Keywords

Mathematics Subject Classifications (2000)

Navigation