Wanted dead or alive: epistemic logic for impure simplicial complexes
From MaRDI portal
Publication:2148776
DOI10.1007/978-3-030-88853-4_3OpenAlexW3208980210MaRDI QIDQ2148776
Publication date: 24 June 2022
Full work available at URL: https://arxiv.org/abs/2103.03032
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
