Constructive classifications of modal logics and extensions of minimal logic

DOI10.1007/S10469-020-09572-1MaRDI QIDQ784471zbMATH OpenOpenAlexFDO

Authors L. L. Maksimova

Publication date 3 August 2020

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-020-09572-1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Recommendations

• Layers over minimal logic
• The lattice of extensions of the minimal logic
• On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
• The structure of slices over minimal logic
• On the structure of paraconsistent extensions of Johansson's logic

Cites work

• Calculi over minimal logic and nonembeddability of algebras
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Decidability of the weak interpolation property over the minimal logic
• Extensions of the minimal logic and the interpolation problem
• Interpolation over the minimal logic and Odintsov intervals
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Layers over minimal logic
• Pretabular extensions of Lewis S4
• Pretabular superintuitionistic logic
• Recognizable and perceptible logics and varieties
• Recognizable logics
• Restricted interpolation over modal logic S4
• Slices and levels of extensions of the minimal logic
• Strong computability of slices over the logic GL
• Strong decidability and strong recognizability
• Strongly decidable properties of modal and intuitionistic calculi
• The structure of slices over minimal logic
• The tabularity problem over the minimal logic
• WIP-minimal logics and interpolation

Cited in

(5)

• On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
• Calculi over minimal logic and nonembeddability of algebras
• Layers over minimal logic
• scientific article; zbMATH DE number 1531820 (Why is no real title available?)
• The structure of slices over minimal logic

This page was built for publication: Constructive classifications of modal logics and extensions of minimal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784471)