The following pages link to (Q3472079):
Displaying 12 items.
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC (Q4704648) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
