Decidability of S4.1
- 1 April 1968
- Vol. 34 (1) , 7-20
- https://doi.org/10.1111/j.1755-2567.1968.tb00335.x
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.The Journal of Symbolic Logic, 1966
- On the syntactical construction of systems of modal logicThe Journal of Symbolic Logic, 1945