Knowledge, belief and time

Sarit Kraus, Daniel Lehmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Scopus citations

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 languageEnglish
Title of host publicationAutomata, Languages and Programming - 13th International Colloquium, Proceedings
EditorsLaurent Kott
PublisherSpringer Verlag
Pages186-195
Number of pages10
ISBN (Print)9783540167617
DOIs
StatePublished - 1986
Event13th International Colloquium on Automata, Languages and Programming, ICALP 1986 - Rennes, France
Duration: 15 Jul 198619 Jul 1986

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume226 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Colloquium on Automata, Languages and Programming, ICALP 1986
Country/TerritoryFrance
CityRennes
Period15/07/8619/07/86

Bibliographical note

Publisher Copyright:
© 1986, Springer-Verlag.

Fingerprint

Dive into the research topics of 'Knowledge, belief and time'. Together they form a unique fingerprint.

Cite this