Infinitary S5‐Epistemic Logic
From MaRDI portal
Publication:4351923
DOI10.1002/malq.19970430306zbMath0879.03009MaRDI QIDQ4351923
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
models; infinitary logic; asymmetry between syntax and semantics of epistemic logics; infinitary languages with operators for multiple epistemic agents
03B45: Modal logic (including the logic of norms)
Related Items
Common belief in monotonic epistemic logic, Iterative and fixed point common belief, Belief closure: A semantics of common knowledge for modal propositional logic, On the nonexistence of universal information structures, Hierarchies of knowledge: an unbounded stairway, Strong completeness theorems for weak logics of common belief, An infinitary probability logic for type spaces, Universal knowledge-belief structures
Cites Work