Five critical modal systems
From MaRDI portal
Publication:4149742
DOI10.1111/j.1755-2567.1977.tb00779.xzbMath0372.02013OpenAlexW2004247000MaRDI QIDQ4149742
Publication date: 1977
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1977.tb00779.x
Modal logic (including the logic of norms) (03B45) Structure theory of lattices (06B05) Logical aspects of Boolean algebras (03G05)
Related Items (18)
The structure of lattices of subframe logics ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Pretabular varieties of modal algebras ⋮ Willem Blok and modal logic ⋮ A second pretabular classical relevance logic ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ On pretabular logics in NExtK4. I ⋮ LC and Its Pretabular Relatives ⋮ Unification in pretabular extensions of S4 ⋮ Modal companions of intermediate propositional logics ⋮ Recognizable and perceptible logics and varieties ⋮ Dugundji's theorem revisited ⋮ Connected modal logics ⋮ Completeness of S4 with respect to the real line: revisited ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Varieties of logical matrices ⋮ Critical modal logics containing the Brouwer axiom ⋮ Some results on modal axiomatization and definability for topological spaces
This page was built for publication: Five critical modal systems
