The following pages link to A lattice of normal modal logics (Q1220915):
Displaying 29 items.
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Syntax and semantics of modal logics containing S4 (Q752686) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- On logics with coimplication (Q1272827) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- Canonical rules (Q3655251) (← links)
- (Q4556013) (← links)
- (Q4625704) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- Hereditarily structurally complete modal logics (Q4836055) (← links)
- A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)
