Pages that link to "Item:Q910395"
From MaRDI portal
The following pages link to An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395):
Displayed 3 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)