Logics containing S4 without the finite model property
- 1 January 1972
- book chapter
- Published by Springer Nature
- p. 98-102
- https://doi.org/10.1007/bfb0059539
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A normal modal calculus between T and S4 without the finite model propertyThe Journal of Symbolic Logic, 1969
- On the existence of finite models and decision procedures for propositional calculiMathematical Proceedings of the Cambridge Philosophical Society, 1958