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):
Displaying 6 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)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
