Pages that link to "Item:Q1977898"
From MaRDI portal
The following pages link to Topological duality for intuitionistic modal algebras (Q1977898):
Displaying 5 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- Modal Intuitionistic Logics as Dialgebraic Logics (Q5145647) (← links)