All Splitting Logics in the Lattice NExt(KTB)

DOI10.1007/978-1-4020-9084-4_4zbMATH Open1167.03017OpenAlexW82437670MaRDI QIDQ3600563FDOQ3600563

Authors: Tomasz Kowalski, Yutaka Miyazaki 

Publication date: 5 February 2009

Published in: Towards Mathematical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-9084-4_4

Recommendations

• A splitting logic in NExt(KTB)
• Kripke incomplete logics containing KTB
• All splitting logics in the lattice NEXT(KTB.3'A)
• Even more about the lattice of tense logics
• On non-compact logics in NEXT(KTB)

zbMATH Keywords

splittinglattice of modal logicsKTB

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Logical aspects of Boolean algebras (03G05)

Cited In (6)

• Splittings in varieties of logic
• On formulas of one variable in NEXT(KTB)
• On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\)
• A splitting logic in NExt(KTB)
• All splitting logics in the lattice NEXT(KTB.3'A)
• Even more about the lattice of tense logics

This page was built for publication: All Splitting Logics in the Lattice NExt(KTB)

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