Wanted dead or alive: epistemic logic for impure simplicial complexes
From MaRDI portal
Publication:2148776
DOI10.1007/978-3-030-88853-4_3OpenAlexW3208980210MaRDI QIDQ2148776FDOQ2148776
Authors: Hans van Ditmarsch 
Publication date: 24 June 2022
Full work available at URL: https://arxiv.org/abs/2103.03032
Cites Work
- Modal logic
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Alternating-time temporal logic
- Belief, awareness, and limited reasoning
- Dynamic epistemic logic
- Impossibility of distributed consensus with one faulty process
- Knowledge and common knowledge in a distributed environment
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
- The topological structure of asynchronous computability
- Modal logics with Belnapian truth values
- Three-valued logics in modal logic
- Merging frameworks for interaction
- Title not available (Why is that?)
- Knowledge and common knowledge in a Byzantine environment: Crash failures
- Belief as defeasible knowledge
- Reasoning about knowledge of unawareness revisited
- Implicit, explicit and speculative knowledge
- Many-valued logic and fuzzy set theory
- A dynamic epistemic logic analysis of the equality negation task
- Title not available (Why is that?)
- A logic for reasoning about knowledge of unawareness
- Some modal logics based on a three-valued logic
- Four-valued modal logic: Kripke semantics and duality
- Title not available (Why is that?)
- Semantics for knowledge and change of awareness
Cited In (3)
This page was built for publication: Wanted dead or alive: epistemic logic for impure simplicial complexes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148776)
