Infinitary S5‐Epistemic Logic

DOI10.1002/malq.19970430306zbMath0879.03009OpenAlexW2109796672MaRDI QIDQ4351923

Aviad Heifetz

Publication date: 12 January 1998

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19970430306

zbMATH Keywords

modelsinfinitary logicasymmetry between syntax and semantics of epistemic logicsinfinitary languages with operators for multiple epistemic agents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Belief closure: A semantics of common knowledge for modal propositional logic ⋮ An infinitary probability logic for type spaces ⋮ Universal knowledge-belief structures ⋮ On the nonexistence of universal information structures ⋮ Hierarchies of knowledge: an unbounded stairway ⋮ Strong completeness theorems for weak logics of common belief ⋮ Common belief in monotonic epistemic logic ⋮ Iterative and fixed point common belief

Cites Work

• A quantitative analysis of modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Infinitary S5‐Epistemic Logic