Pages that link to "Item:Q777882"
From MaRDI portal
The following pages link to A dynamic epistemic logic analysis of the equality negation task (Q777882):
Displaying 3 items.
- A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
