The following pages link to Five critical modal systems (Q4149742):
Displayed 18 items.
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- On pretabular logics in NExtK4. I (Q456965) (← links)
- Connected modal logics (Q535140) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Critical modal logics containing the Brouwer axiom (Q1052314) (← links)
- Pretabular varieties of modal algebras (Q1150599) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)