Belief closure: A semantics of common knowledge for modal propositional logic

DOI10.1016/0165-4896(95)00785-KzbMath0886.90063OpenAlexW2048218250MaRDI QIDQ1377482

Philippe Mongin, Luc Lismont

Publication date: 26 January 1998

Published in: Mathematical Social Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0165-4896(95)00785-k

zbMATH Keywords

common beliefepistemic modal logic

Mathematics Subject Classification ID

Applications of game theory (91A80) Mathematical economics (91B99)

Related Items

On the logic of common belief and common knowledge ⋮ Common knowledge logic and game logic ⋮ Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics ⋮ Formalizing common belief with no underlying assumption on individual beliefs ⋮ Being realistic about common knowledge: a lewisian approach ⋮ Philippe Mongin (1950-2020) ⋮ Common Knowledge and the Knowledge Account of Assertion ⋮ A modal logic of intentional communication ⋮ Strong completeness theorems for weak logics of common belief ⋮ Common belief in monotonic epistemic logic ⋮ Iterative and fixed point common belief ⋮ Assessing the truth axiom under incomplete information ⋮ On the logic and role of negative introspection of common belief

Cites Work

• Formulation of Bayesian analysis for games with incomplete information
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• Knowledge, belief and time
• Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities
• Approximating common knowledge with common beliefs
• A guide to completeness and complexity for modal logics of knowledge and belief
• Agreeing to disagree
• Common belief in monotonic epistemic logic
• On the logic of common belief and common knowledge
• Awareness and partitional information structures
• A non-minimal but very weak axiomatization of common belief
• Ignoring ignorance and agreeing to disagree
• Knowledge and common knowledge in a distributed environment
• An Axiomatic Characterization of Common Knowledge
• La connaissance commune en logique modale
• Infinitary S5‐Epistemic Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item