Summary.
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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: March 7, 2001; revised version: April 4, 2001
Rights and permissions
About this article
Cite this article
Sturm, H., Wolter, F. & Zakharyaschev, M. Common knowledge and quantification. Econ Theory 19, 157–186 (2002). https://doi.org/10.1007/s001990100201
Issue Date:
DOI: https://doi.org/10.1007/s001990100201