Strong Completeness Theorems for Weak Logics of Common Belief
Authors: Lismont, L.; Mongin, P.
Source: Journal of Philosophical Logic, Volume 32, Number 2, April 2003 , pp. 115-137(23)
We show that several logics of common belief and common knowledge are not only complete, but also strongly complete, hence compact. These logics involve a weakened monotonicity axiom, and no other restriction on individual belief. The semantics is of the ordinary fixed-point type.
Document Type: Research Article
Affiliations: Laboratoire d'économétrie de l'École Polytechnique 1, rue Descartes, 75005 Paris France
Publication date: 2003-04-01