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 10 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)
- Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724) (← links)
- (Q3346288) (← links)
- Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions (Q5028321) (← links)
- (Q5432834) (← 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)