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.
Original language | English |
---|---|
Title of host publication | Automata, Languages and Programming - 13th International Colloquium, Proceedings |
Editors | Laurent Kott |
Publisher | Springer Verlag |
Pages | 186-195 |
Number of pages | 10 |
ISBN (Print) | 9783540167617 |
DOIs | |
State | Published - 1986 |
Event | 13th International Colloquium on Automata, Languages and Programming, ICALP 1986 - Rennes, France Duration: 15 Jul 1986 → 19 Jul 1986 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 226 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 13th International Colloquium on Automata, Languages and Programming, ICALP 1986 |
---|---|
Country/Territory | France |
City | Rennes |
Period | 15/07/86 → 19/07/86 |
Bibliographical note
Publisher Copyright:© 1986, Springer-Verlag.