The following pages link to (Q4430395):
Displaying 5 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- On Dynamic Topological Logic of the Real Line (Q3549319) (← links)
