Pages that link to "Item:Q1099162"
From MaRDI portal
The following pages link to Modality and possibility in some intuitionistic modal logics (Q1099162):
Displaying 15 items.
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Constructive modal logics. I (Q750417) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy sets and residuated logic (Q1193647) (← links)
- On logics with coimplication (Q1272827) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Periodicity of negation (Q1409308) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- On classical behavior of intuitionistic modalities (Q2987729) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- Intuitionistic modal logic and set theory (Q3984426) (← links)
- A first approach to abstract modal logics (Q4205420) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
