A splitting logic in NExt(KTB)
From MaRDI portal
Publication:995667
DOI10.1007/s11225-007-9039-8zbMath1130.03016OpenAlexW2052832447MaRDI QIDQ995667
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
Kripke framemodal algebrasnormal modal logicnormal extensionsKTB algebraKTB frameKTB logicspossible worlds frames
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)