Abstract
In the conclusion of [HM2] Halpern and Moses expressed their interest in a logical system in which one could talk about knowledge and belief (and belief about knowledge, knowledge about belief and so on). We investigate such systems. In the first part of the paper knowledge and belief, without time, are considered. Common knowledge and common belief are defined and compared. A logical system and a family of models are proposed, a completeness result is proved and a decision procedure described. In the second part of the paper, time is considered. Different notions of beliefs are distinguished, obeying different properties of persistence. One interpretation of belief which obeys a very strong persistence axiom is put forward and used in the analysis of "wise men" puzzle.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Fagin and J.Y. Halpern, Belief,Awareness, and Limited Reasoning, Nineth International Joint Conference on Artificial Intelligence, (August 1985).
R.Fagin and M. Y. Vardi, An internal semantics for modal logic, Proc. of the 17th Annual ACM, Symposium on Theory of Computing,1985, pp 305–315.
Gabbay,D.,Pnueli, A.,Shelah, S. and Stavi,J. On the temporal analysis of fairness,Conf, Record of 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada (Jan, 1980), pp. 174–183.
J.Y. Halpern, privet communication, 1985.
Hintikka, Jaakko, Knowledge and belief, an introduction to the logic of the two notions, Cornell Univ. Press, Ithaca and London (1962).
J.Y. Halpern and Y. Moses, Knowledge and common knowledge in distributed environment, Proceeding of the 3rd ACM Symposium on Principles of Distributed Computing, 1984,pp. 50–61.
J.Y. Halpern and Y. Moses, Towards a Theory of knowledge and ignorance: IBM,RJ 4448,1984.
J.Y. Halpern and Y. Moses, A guide to the modal logic of knowledge and belief.
D.J. Lehmann, Knowledge, common knowledge, and related puzzles, in Proceeding of the 3rd ACM Symposium on Principles of Distributed Computing, 1984,pp. 62–67.
H.J.Levesque,A logic of implicit and explicit belief,Proc Nat'l Conf. on Artificial Intelligence(1984),pp.198–202.
Lewis, David K, Convention, A philosophical study, Harvard University Press, Cambridge, Massachusetts, 1969.
Lehmann, D. and Shelah, S. Reasoning with Time and Chance, Information and Control, Vol.53, pp. 165–198.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kraus, S., Lehmann, D. (1986). Knowledge, belief and time. In: Kott, L. (eds) Automata, Languages and Programming. ICALP 1986. Lecture Notes in Computer Science, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16761-7_68
Download citation
DOI: https://doi.org/10.1007/3-540-16761-7_68
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16761-7
Online ISBN: 978-3-540-39859-2
eBook Packages: Springer Book Archive