Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael - In: Economic Theory 19 (2002) 1, pp. 157-186
) logic with common knowledge operator. As the full predicate logics of common knowledge are not even recursively enumerable … 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 …