Abstract
Knowledge’s acquisition happens in time. However, this feature is not reflected in the standard epistemic logics, e.g. S4 with its possible world semantics suggested by Hintikka in [1], and hence their applications are limited. In this paper we adapt these normal modal logics to increase their expressive power such that not only is what is known modeled but also when it is known is recorded. We supplement each world with an awareness function which is an augmentation of Fagin-Halpern’s to keep track of the time when each formula is to be derived. This provides a new response to the logical omniscience problem. Our work originates from the tradition of study of Justification Logic, also known as Logic of Proofs, LP, introduced by Artemov ([2],[3],[4]). We will give the axiom systems of the models built here, accompanied with soundness and completeness results.
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
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press (1962)
Artemov, S.N.: The logic of justification. The Review of Symbolic Logic 1(4), 477–513 (2008)
Artemov, S.N.: Operational modal logic. Technical Report MSI 95-29, Cornell University (1995)
Artemov, S.N.: Explicit provability and constructive semanticsexplicit provability and constructive semantics. Bulletin of Symbolic logic 7(1), 1–36 (2001)
Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica 35, 107–115 (1982)
Fagin, R., Halpern, J.: Belief, awareness and limited reasoning. Artificial Intelligence 34, 39–76 (1988)
Konolige, K.: A Deduction Model of Belief. Morgan Kaufmann, San Francisco (1986)
Moreno, A.: Avoiding logical omniscience and perfect reasoning: A survey. AI Communications 11(2), 101–122 (1998)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowldge. MIT Press, Cambridge (1995)
Artemov, S.N., Kuznets, R.: Logical omniscience via proof complexity. In: Ésik, Z. (ed.) CSL 2006. LNCS, vol. 4207, pp. 135–149. Springer, Heidelberg (2006)
Asher, N.: Reasoning about belief and knowledge with self-reference and time. In: LFCS, pp. 61–81. Morgan Kaufmann, San Francisco (1988)
Kraus, S., Lehmann, D.: Knowledge, belief and time. Theoretical Computer Science 58, 155–174 (1988)
Ladner, R.E., Reif, J.H.: The logic of distributed protocols. In: Halpern, J.Y. (ed.) Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pp. 207–222. Morgan Kaufmann, San Francisco (1986)
Lehmann, D.: Knowledge, common knowledge, and related puzzles. In: Proceedings of 3rd ACM Symp. on Principles of Distributed Computing, pp. 62–67 (1984)
Parikh, R., Ramanujam, R.: Distributed processes and the logic of knowledge. In: Proceedings of the Conference on Logic of Programs, London, UK, pp. 256–268. Springer, Heidelberg (1985)
Sato, M.: A study of kripke-type models for some modal logics by gentzen’s sequential method. In: Publications of the Research Institute for Mathematical Sciences, vol. 13, p. 381. Kyoto University (1977)
Wang, R.J.: On proof realization on moda logic. Technical Report TR-2009003, CUNY PhD Program in Computer Science (2009)
Fitting, M.C.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132, 1–25 (2005)
Fitting, M.C.: A logic of explicit knowledge. In: Behounek, L., Bilkova, M. (eds.) Logica Yearbook 2004, Filosophia, pp. 11–22 (2005)
Pacuit, E.: A note on some explicit modal logics. In: Proceedings of the Fifth Panhellenic Logic Symposium, pp. 117–125 (2005)
Rubtsova, N.: Evidence reconstruction of epistemic modal logic S5. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 313–321. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, RJ. (2009). Knowledge, Time, and Logical Omniscience. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2009. Lecture Notes in Computer Science(), vol 5514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02261-6_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-02261-6_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02260-9
Online ISBN: 978-3-642-02261-6
eBook Packages: Computer ScienceComputer Science (R0)