Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael - In: Economic Theory 19 (2002) 1, pp. 157-186
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...