Completeness and decidability of three logics of counterfactual conditionals1
- 1 April 1971
- Vol. 37 (1) , 74-85
- https://doi.org/10.1111/j.1755-2567.1971.tb00061.x
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A semantic analysis of conditional logic1Theoria, 1970
- Decidability of S4.1Theoria, 1968
- 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