An incompleteness theorem in modal logic
- 1 April 1974
- Vol. 40 (1), 30-34
- https://doi.org/10.1111/j.1755-2567.1974.tb00077.x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An incomplete logic containing S4Theoria, 1974
- Noncompactness in propositional modal logicThe Journal of Symbolic Logic, 1972
- Semantic analysis of tense logicsThe Journal of Symbolic Logic, 1972
- Some embedding theorems for modal logic.Notre Dame Journal of Formal Logic, 1971
- A normal modal calculus between T and S4 without the finite model propertyThe Journal of Symbolic Logic, 1969