Common knowledge and quantification

Holger Sturm, Frank Wolter and Michael Zakharyaschev
Additional contact information
Holger Sturm: Institut für Informatik, Universität Leipzig, Augustus-Platz 10-11, 04109 Leipzig, GERMANY
Frank Wolter: Institut für Informatik, Universität Leipzig, Augustus-Platz 10-11, 04109 Leipzig, GERMANY
Michael Zakharyaschev: Department of Computer Science, King's College, Strand, London WC2R 2LS, U.K.

Economic Theory, 2002, vol. 19, issue 1, 157-186

Abstract: The paper consists of two parts. The first one is a concise introduction to epistemic (both propositional and predicate) logic with common knowledge operator. As the full predicate logics of common knowledge are not even recursively enumerable, in the second part we introduce and investigate the monodic fragment of these logics which allows applications of the epistemic operators to formulas with at most one free variable. We provide the monodic fragments of the most important common knowledge predicate logics with finite Hilbert-style axiomatizations, prove their completeness, and single out a number of decidable subfragments. On the other hand, we show that the addition of equality to the monodic fragment makes it not recursively enumerable.

Keywords: Epistemic logic; Common knowledge; First-order epistemic logic; Axiomatizability; Monodic fragments. (search for similar items in EconPapers)
JEL-codes: C60 D89 (search for similar items in EconPapers)
Date: 2001-09-12
Note: Received: March 7, 2001; revised version: April 4, 2001
References: Add references at CitEc
Citations:

Downloads: (external link)
http://link.springer.de/link/service/journals/00199/papers/2019001/20190157.pdf (application/pdf)
Access to the full text of the articles in this series is restricted

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:spr:joecth:v:19:y:2002:i:1:p:157-186

Ordering information: This journal article can be ordered from
http://www.springer. ... eory/journal/199/PS2

Access Statistics for this article

Economic Theory is currently edited by Nichoals Yanneils

More articles in Economic Theory from Springer, Society for the Advancement of Economic Theory (SAET) Contact information at EDIRC.
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().