Pages that link to "Item:Q1244216"
From MaRDI portal
The following pages link to On some intuitionistic modal logics (Q1244216):
Displayed 18 items.
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- On logics with coimplication (Q1272827) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
- On the interpolation property of some intuitionistic modal logics (Q1913298) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- A first approach to abstract modal logics (Q4205420) (← links)
- The Semantic Completeness of a Global Intuitionistic Logic (Q4393167) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)