Strong Completeness Theorems for Weak Logics of Common Belief

摘要

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.common belief - common knowledge - logical omniscience - strong completeness