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.

[1]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[2]  V. Rantala,et al.  Quantified modal logic: Non-normal worlds and propositional attitudes , 1982 .

[3]  Luc Lismont.  Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics , 1994, J. Log. Lang. Inf..

[4]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[5]  David M. Kreps,et al.  Rationality and knowledge in game theory , 1997 .

[6]  Mamoru Kaneko,et al.  Game logic and its applications I , 1996, Stud Logica.

[7]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[8]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[9]  Philippe Mongin,et al.  On the logic of common belief and common knowledge , 1994 .

[10]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[11]  Aviad Heifetz.  Iterative and fixed point common belief , 1999, J. Philos. Log..

[12]  D. Monderer,et al.  Approximating common knowledge with common beliefs , 1989 .

[13]  Mamoru Kaneko,et al.  Common knowledge logic and game logic , 1999, Journal of Symbolic Logic.

[14]  M. Bacharach.  Some extensions of a claim of Aumann in an axiomatic model of knowledge , 1985 .

[15]  Aviad Heifetz.  Common belief in monotonic epistemic logic , 1996 .

[16]  S. Zamir,et al.  Formulation of Bayesian analysis for games with incomplete information , 1985 .

[17]  Territoire Urbain,et al.  Convention , 1955, Hidden Nature.

[18]  Pierpaolo Battigalli,et al.  Recent results on belief, knowledge and the epistemic foundations of game theory , 1999 .

[19]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[20]  Philippe Mongin,et al.  A Non-Minimal But Very Weak Axiomatization of Common Belief , 1994, Artif. Intell..

[21]  Aviad Heifetz.  Infinitary S5-Epistemic Logic , 1997, Math. Log. Q..

[22]  Nancy L. Stokey,et al.  Information, Trade, and Common Knowledge , 1982 .

[23]  Philippe Mongin,et al.  Belief Closure - a Semantics of Common Knowledge for Modal Propositional Logic , 1995 .