A splitting logic in NExt(KTB)

DOI10.1007/S11225-007-9039-8MaRDI QIDQ995667zbMATH OpenOpenAlexFDO

Authors Yutaka Miyazaki

Publication date 10 September 2007

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-007-9039-8

zbMATH Keywords

modal algebrasnormal modal logicKripke framenormal extensionsKTB algebraKTB frameKTB logicspossible worlds frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• All Splitting Logics in the Lattice NExt(KTB)
• Splittings and the finite model property
• All splitting logics in the lattice NEXT(KTB.3'A)
• An almost general splitting theorem for modal logic
• The structure of lattices of subframe logics

Cites work

• scientific article; zbMATH DE number 3650525 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• An almost general splitting theorem for modal logic
• An ascending chain of S4 logics
• Consequences of Schanuel's condition for zeros of exponential terms
• Der Verband der normalen verzweigten Modallogiken
• Equational Bases and Nonmodular Lattice Varieties
• Normal modal logics containing KTB with some finiteness conditions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Splitting lattices of logics
• Splittings and the finite model property
• Splittings of a Lattice
• Subdirectly irreducible modal algebras and initial frames
• The lattice of modal logics: an algebraic investigation

Cited in

(5)

• Even more about the lattice of tense logics
• scientific article; zbMATH DE number 2196597 (Why is no real title available?)
• All splitting logics in the lattice NEXT(KTB.3'A)
• All Splitting Logics in the Lattice NExt(KTB)
• Normal modal logics containing KTB with some finiteness conditions

This page was built for publication: A splitting logic in NExt(KTB)

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