Iterative and fixed point common belief

DOI10.1023/A:1004357300525zbMath0920.03040MaRDI QIDQ1283322

Aviad Heifetz

Publication date: 13 April 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

fixed pointinfinitary logiccommon knowledgecommon belief modalityinfinitary extensions to classical epistemic logic systemsmutual belief

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Rationalizability in general situations, Formalizing common belief with no underlying assumption on individual beliefs, Iterated elimination procedures, SMALL INFINITARY EPISTEMIC LOGICS, Strong completeness theorems for weak logics of common belief

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximating common knowledge with common beliefs
• A guide to completeness and complexity for modal logics of knowledge and belief
• Common belief in monotonic epistemic logic
• On the logic of common belief and common knowledge
• Belief closure: A semantics of common knowledge for modal propositional logic
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
• A quantitative analysis of modal logic
• La connaissance commune en logique modale
• Infinitary S5‐Epistemic Logic