The following pages link to Local properties in modal logic (Q1761295):
Displaying 4 items.
- A minimal logic for interactive epistemology (Q516245) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- Simple Axioms for Local Properties (Q6199600) (← links)
