Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics

DOI10.1007/BF01160019zbMath0827.03016OpenAlexW2092577844MaRDI QIDQ1895975

Luc Lismont

Publication date: 13 August 1995

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01160019

zbMATH Keywords

common knowledgemulti-modal logicneighbourhood semanticsnon-well- founded setsScott models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Knowledge representation (68T30) Applications of set theory (03E75)

Related Items (5)

Mechanizing common knowledge logic using COQ ⋮ Being realistic about common knowledge: a lewisian approach ⋮ About cut elimination for logics of common knowledge ⋮ Strong completeness theorems for weak logics of common belief ⋮ Iterative and fixed point common belief

Cites Work

• Formulation of Bayesian analysis for games with incomplete information
• A guide to completeness and complexity for modal logics of knowledge and belief
• Agreeing to disagree
• Belief closure: A semantics of common knowledge for modal propositional logic
• Epistemology Without Knowledge and Without Belief
• La connaissance commune en logique modale
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics