The following pages link to (Q4948690):
Displayed 14 items.
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Discovering knowability: a semantic analysis (Q2443346) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- On classical behavior of intuitionistic modalities (Q2987729) (← links)
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC (Q4704648) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)