An ascending chain of S4 logics
- 1 August 1974
- Vol. 40 (2) , 110-116
- https://doi.org/10.1111/j.1755-2567.1974.tb00081.x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- An incomplete logic containing S4Theoria, 1974
- Logics containing K4. Part IThe Journal of Symbolic Logic, 1974
- Logics containing S4 without the finite model propertyPublished by Springer Nature ,1972
- The Logics Containing S 4.3Mathematical Logic Quarterly, 1971