Some descending chains of incomplete modal logics
From MaRDI portal
Publication:1177647
DOI10.1007/BF00250540zbMath0741.03006OpenAlexW2066960797MaRDI QIDQ1177647
Publication date: 26 June 1992
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00250540
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An incomplete system of modal logic
- Magari's theorem via the recession frame
- The lattice of modal logics: an algebraic investigation
- Syntactic aspects of modal incompleteness theorems
- Two simple incomplete modal logics
- An incompleteness theorem in modal logic
- A normal modal calculus between T and S4 without the finite model property
- Semantic analysis of tense logics