Wanted dead or alive: epistemic logic for impure simplicial complexes

DOI10.1007/978-3-030-88853-4_3OpenAlexW3208980210MaRDI QIDQ2148776

Hans P. van Ditmarsch

Publication date: 24 June 2022

Full work available at URL: https://arxiv.org/abs/2103.03032

zbMATH Keywords

simplicial complexepistemic logiccombinatorial topology

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Communication pattern logic: epistemic and topological views ⋮ Impure Simplicial Complexes: Complete Axiomatization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Three-valued logics in modal logic
• A dynamic epistemic logic analysis of the equality negation task
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Dynamic epistemic logic
• Merging frameworks for interaction
• Belief, awareness, and limited reasoning
• Some modal logics based on a three-valued logic
• Belief as defeasible knowledge
• Implicit, explicit and speculative knowledge
• Reasoning about knowledge of unawareness revisited
• Semantics for knowledge and change of awareness
• A logic for reasoning about knowledge of unawareness
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Four-valued modal logic: Kripke semantics and duality
• The topological structure of asynchronous computability
• Alternating-time temporal logic
• Knowledge and common knowledge in a distributed environment
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Impossibility of distributed consensus with one faulty process

This page was built for publication: Wanted dead or alive: epistemic logic for impure simplicial complexes