All Splitting Logics in the Lattice NExt(KTB)

DOI10.1007/978-1-4020-9084-4_4MaRDI QIDQ3600563zbMATH OpenOpenAlexFDO

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

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)

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)

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)