A splitting logic in NExt(KTB)

DOI10.1007/S11225-007-9039-8zbMATH Open1130.03016OpenAlexW2052832447MaRDI QIDQ995667FDOQ995667

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

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

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)

Cites Work

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

Cited In (5)

• Normal modal logics containing KTB with some finiteness conditions
• Title not available (Why is that?)
• All splitting logics in the lattice NEXT(KTB.3'A)
• Even more about the lattice of tense logics
• All Splitting Logics in the Lattice NExt(KTB)

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)