Belief Closure: A Semantics of Common Knowledge for Modal Propositional Logic

Luc Lismont and Philippe Mongin
Additional contact information
Luc Lismont: G.R.E.Q.U.E; Ecole des Hautes Etudes en Sciences Sociales, Marseille

No 1993039, LIDAM Discussion Papers CORE from Université catholique de Louvain, Center for Operations Research and Econometrics (CORE)

Abstract: The paper axiomatizes individual and common belief by means of modal propositional logic systems of varying strength. The weakest system of all just requires the monotonicity of individual belief on top of the axiom and rules of common belief. It is proved to be sound and complete with respect to a specially devised variant of neighbourhood semantiC's. The remaining systems include a K-system for each individual. They are shown to be sound and complete with respect to suitable variants of Kripke semantics. The specific features of either neighbourhood or Kripke semantics in this paper relate to the validation clause for common belief. Informally, we define a proposition to be belief closed if everybody believes it at every world where it is true, and we define a proposition to be common belief at a world if it is implied by a belief closed proposition that everybody believes at that particular world. This "fixed-point" or "circular" account of common belief is seen to imply the more standard "iterate" account in terms of countably infinite sequences of share beliefs. Axiomatizations of common knowledge can be secured by adding the truth axiom of individual belief to any system. The paper also briefly discusses game-theoretic papers which anticipated the belief closure semantics.

Date: 1993-10-01
References: Add references at CitEc
Citations:

Downloads: (external link)
https://sites.uclouvain.be/core/publications/coredp/coredp1993.html (text/html)

Related works:
Journal Article: Belief closure: A semantics of common knowledge for modal propositional logic (1996)
Journal Article: Belief closure: A semantics of common knowledge for modal propositional logic (1995)
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cor:louvco:1993039

Access Statistics for this paper

More papers in LIDAM Discussion Papers CORE from Université catholique de Louvain, Center for Operations Research and Econometrics (CORE) Voie du Roman Pays 34, 1348 Louvain-la-Neuve (Belgium). Contact information at EDIRC.
Bibliographic data for series maintained by Alain GILLIS ().