Common Belief in Monotonic Epistemic Logic

Aviad Heifetz
Additional contact information
Aviad Heifetz: School of Mathematical Sciences, Tel Aviv University and CORE, Universite

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

Abstract: To what extent maya finitary logic express the notion of common belief? We devise a set of axioms for common belief in a system where beliefs are only required to be monotonic. These axioms are generally less restrictive than those suggested by Lismont-Mongin (1993) and Halpern-Vardi (1992). We prove completeness with respect to monotonic neighbourhood models, in which the iterative definition for common belief may involve transfinite levels of mutual belief. We show that this definition is equivalent to the fixed-point type definition that Monderer and Samet (1989) elaborated in a probabilistic framework. We show further, that in systems as least at strong as the K-system, the three axiomatizations for common belief coincide) as do their semantic counterparts. In such systems, however, there are consistent sets of formulas that have no model. We conclude that the full contents of common belief cannot be expressed by a logic that admits only finite conjunctions .

Date: 1995-01-01
References: Add references at CitEc
Citations:

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

Related works:
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:1995011

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