On two- and three-valued semantics for impure simplicial complexes
From MaRDI portal
Cites work
- A combinatorial characterization of the distributed 1-solvable tasks
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- A new hope
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die
- Alternating-time temporal logic
- Asynchronous announcements
- Communication pattern models: an extension of action models for dynamic-network distributed systems
- Distributed computing through combinatorial topology
- Distributed knowledge
- Dynamic epistemic logic
- Fire!
- Handbook of epistemic logic
- scientific article; zbMATH DE number 5734950 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- Impossibility of distributed consensus with one faulty process
- Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
- Knowledge and common knowledge in a distributed environment
- Merging frameworks for interaction
- On knowledge and communication complexity in distributed systems
- Reasoning about information change
- Semi-simplicial set models for distributed knowledge
- The topological structure of asynchronous computability
This page was built for publication: On two- and three-valued semantics for impure simplicial complexes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940544)
