Wanted dead or alive: epistemic logic for impure simplicial complexes
From MaRDI portal
Publication:2148776
Recommendations
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- What can machines know?
- Knowledge in multiagent systems: initial configurations and broadcast
- A logic with relative knowledge operators
Cites work
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- A dynamic epistemic logic analysis of the equality negation task
- A logic for reasoning about knowledge of unawareness
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Alternating-time temporal logic
- Belief as defeasible knowledge
- Belief, awareness, and limited reasoning
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
- Dynamic epistemic logic
- Four-valued modal logic: Kripke semantics and duality
- Handbook of epistemic logic
- Implicit, explicit and speculative knowledge
- Impossibility of distributed consensus with one faulty process
- Knowledge and common knowledge in a Byzantine environment: Crash failures
- Knowledge and common knowledge in a distributed environment
- Many-valued logic and fuzzy set theory
- Merging frameworks for interaction
- Modal logic
- Modal logics with Belnapian truth values
- Reasoning about knowledge of unawareness revisited
- Semantics for knowledge and change of awareness
- Some modal logics based on a three-valued logic
- The logic of public announcements, common knowledge, and private suspicions
- The topological structure of asynchronous computability
- Three-valued logics in modal logic
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)
