Pages that link to "Item:Q2029604"
From MaRDI portal
The following pages link to A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604):
Displaying 9 items.
- On knowledge and communication complexity in distributed systems (Q1713923) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Geometric aspects of multiagent systems (Q2843716) (← links)
- THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES (Q4959665) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Impure Simplicial Complexes: Complete Axiomatization (Q6076177) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- Simplicial models for the epistemic logic of faulty agents (Q6624996) (← links)
- Synergistic knowledge (Q6652434) (← links)