A splitting logic in NExt(KTB)

DOI10.1007/s11225-007-9039-8zbMath1130.03016OpenAlexW2052832447MaRDI QIDQ995667

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

Kripke framemodal algebrasnormal modal logicnormal extensionsKTB algebraKTB frameKTB logicspossible worlds frames

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• An almost general splitting theorem for modal logic
• Subdirectly irreducible modal algebras and initial frames
• The lattice of modal logics: an algebraic investigation
• Splitting lattices of logics
• An ascending chain of S4 logics
• Consequences of Schanuel's condition for zeros of exponential terms
• Splittings and the finite model property
• Equational Bases and Nonmodular Lattice Varieties
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Splittings of a Lattice

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