Kripke incomplete logics containing KTB
From MaRDI portal
Publication:995674
DOI10.1007/s11225-007-9056-7zbMath1130.03017OpenAlexW2017693638MaRDI QIDQ995674
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-9056-7
Related Items (5)
On linear Brouwerian logics ⋮ Substitutional validity for modal logic ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ On non-compact logics in NEXT(KTB) ⋮ Normal modal logics determined by aligned clusters
Cites Work
- Unnamed Item
- Unnamed Item
- An incomplete system of modal logic
- The lattice of modal logics: an algebraic investigation
- Syntactic aspects of modal incompleteness theorems
- Two simple incomplete modal logics
- An incomplete logic containing S4
- An incompleteness theorem in modal logic
- A normal modal calculus between T and S4 without the finite model property
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
This page was built for publication: Kripke incomplete logics containing KTB
