Pages that link to "Item:Q2043796"
From MaRDI portal
The following pages link to A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796):
Displaying 5 items.
- 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)
- Defining logical obstruction with fixpoints in epistemic logic (Q6645916) (← links)
