We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Common knowledge and quantification.
- Authors
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael
- Abstract
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.
- Subjects
LOGIC; ECONOMICS
- Publication
Economic Theory, 2002, Vol 19, Issue 1, p157
- ISSN
0938-2259
- Publication type
Article
- DOI
10.1007/s001990100201