Two simple incomplete modal logics
- 1 April 1978
- Vol. 44 (1) , 25-37
- https://doi.org/10.1111/j.1755-2567.1978.tb00830.x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Representation and duality theory for diagonalizable algebrasStudia Logica, 1975
- First-order definability in modal logicThe Journal of Symbolic Logic, 1975
- Intensional logics without interative axiomsJournal of Philosophical Logic, 1974
- An incompleteness theorem in modal logicTheoria, 1974
- An incomplete logic containing S4Theoria, 1974
- Semantic analysis of tense logicsThe Journal of Symbolic Logic, 1972
- A normal modal calculus between T and S4 without the finite model propertyThe Journal of Symbolic Logic, 1969