On the Logic of Common Belief and Common Knowledge

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

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

Abstract: The paper surveys the currently available axioma.tizations of common belief (CB) and common knowledge (CK) by means of modal propositionallogic:s. (Throughout, knowledge - whether individual or common - is defined as true belief.) Section 1 introduces the formal method ofaxiomatization followed by epistemic logicians, especially the syntaxe-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while bridly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r .t. the (ormer structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought - only mono tonicity has thusfar proved indispensable. Section 5 explains another consequence of general releo.-ance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effecth-e decision procedures, i.e., they are decidable in the logician's sense.

Keywords: common belief; common knowledge; Kripke structures; neighbourhood structures; partitional model; modal propositional logic; epistemic logic (search for similar items in EconPapers)
Date: 1994-01-01
References: Add references at CitEc
Citations: View citations in EconPapers (23)

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

Related works:
Working Paper: On the logic of common belief and common knowledge (1994)
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:1994005

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 ().