×

Modal logic with subjunctive conditionals and dispositional predicates. (English) Zbl 0259.02015


MSC:

03B45 Modal logic (including the logic of norms)
03B99 General logic
Full Text: DOI

References:

[1] Berg Jan, 1958, ’A Note on Reduction Sentences’,Theoria xxiv, 1–8.
[2] Broad, C. D., 1933,Examination of McTaggart’s Philosophy, Vol. I, Cambridge.
[3] Burks, Arthur, W., 1951, ’The Logic of Causal Propositions’,Mind 9, 363–382. · Zbl 0044.25104 · doi:10.1093/mind/LX.239.363
[4] Burks Arthur, W., 1955, ’Dispositional Statements’,Philosophy of Science 22, 175–193. · doi:10.1086/287422
[5] Carnap, R., 1950,Logical Foundations of Probability, Chicago. · Zbl 0040.07001
[6] Chellas, Brian F., 1969,The Logical Form of Imperatives, Perry Lane Press, Stanford.
[7] Chisholm, R. M., 1946, ’The Contrary-to-fact Conditional’,Mind 4, 289–302. · doi:10.1093/mind/LV.219.289
[8] Cresswell, M. J., 1968, see Hughes & Cresswell, 1968.
[9] Goodman, N., 1947, ’The Problem of Counterfactual Conditionals’, inFact, Fiction, and Forecast, Cambridge, Mass., 1955.
[10] Hansson, Bengt, 1968, ’Choice Structures and Preference Relations’,Synthese 18, 443–458. · Zbl 0165.30702 · doi:10.1007/BF00484979
[11] Hansson, Bengt, 1969, ’An Analysis of Some Deontic Logics’,Nous 3, 373–398. · Zbl 1366.03069 · doi:10.2307/2214372
[12] Hansson, Bengt, 1970,Preference Logic: Philosophical Foundations and Applications in the Philosophy of Science, Lund. · Zbl 0323.02046
[13] Henkin, L., 1957, ’A Generalization of the Concept of {\(\omega\)}-completeness’,Journal of Symbolic Logic 22, 1–14. · Zbl 0081.01201 · doi:10.2307/2964052
[14] Hintikka, J., 1962,Knowledge and Belief, Cornell University Press, Ithaca, N.Y. · Zbl 1384.03102
[15] Hintikka, J., 1970, ’Existential Presuppositions and Uniqueness Presuppositions’, Philosophical Problems in Logic (ed. by K. Lambert), pp. 20–55. · Zbl 0265.02014
[16] Hughes, G.E. and Cresswell, M.J. 1968,An Introduction to Modal Logic, Methuen, London. · Zbl 0205.00503
[17] Kanger, Stig, 1957, ’The Morning Star Paradox’,Theoria 23, 1–11. · Zbl 0081.01104 · doi:10.1111/j.1755-2567.1957.tb00263.x
[18] Kanger, Stig, 1957a,New Foundations for Ethical Theory, Stockholm. · Zbl 0248.02030
[19] Kanger, Stig, 1957b, ’A Note on Quantification and Modalities’,Theoria 53, 133–134. · Zbl 0083.00204
[20] Kripke, S. A., 1959, ’A Completeness Theorem in Modal Logic’,Journal of Symbolic Logic 24, pp. 1–14. · Zbl 0091.00902 · doi:10.2307/2964568
[21] Kripke, S. A., 1963, ’Semantical Considerations on Modal Logic’,Acta Philosophica Fennica: Modal and Many-valued Logics, pp. 83–94. · Zbl 0131.00602
[22] Lewis, D. K., 1970, ’Completeness and Decidability of Three Logics of Counterfactual Conditionals’,Theoria 37, 74–85. · Zbl 0229.02023 · doi:10.1111/j.1755-2567.1971.tb00061.x
[23] Makinson, D., 1966, ’On Some Completeness Theorems in Modal Logic’,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 12, pp. 3790384. · Zbl 0295.02014
[24] Prior, A. N., 1956, ’Modality and Quantification in S5’,Journal of Symbolic Logic 21, 60–62. · Zbl 0071.01002 · doi:10.2307/2268488
[25] Scott, Dana, 1970, ’Advice on Modal Logic’Philosophical Problems in Logic (ed. by K. Lambert), pp. 143–173. Reidel, Dordrecht-Holland. · Zbl 0295.02013
[26] Stalnaker, R. C., 1968, ’A Theory of Conditionals’,Studies in Logical Theory (American Philosophical Quarterly supplementary monograph sseries) Oxford.
[27] Stalnaker, R. C. and Thomason, R. H., 1970, ’A Semantic Analysis of Conditional Logic’,Theoria 36, pp. 23–42. · Zbl 0211.30601 · doi:10.1111/j.1755-2567.1970.tb00408.x
[28] Suppes, P., 1967,Set- Theoretical Structures in Science, mimeographed, Stanford. · Zbl 0171.19001
[29] Thomason, R. H., 1969, ’Modal Logic and Metaphysics’,The Logical Way of Doing Things (ed. by K. Lambert), pp. 119–146, New Haven & London.
[30] Thomason, R. H., 1970, ’Some Completeness Results for Modal Predicate Calculi’,Philosophical Problems in Logic (ed. by K. Lambert), pp. 56–76, Reidel, Dordrecht-Holland. · Zbl 0188.32002
[31] Åqvist, L. E. G. son, 1969, ’Improved Formulations of Act-Utilitariansim’,Noûs 3, 299–323.
[32] Åqvist, L. E. G. son, 1970, ’Revised Foundations for Imperative-Epistemic and Interrogative Logic’Theoria 37, 33–73. · Zbl 0341.02017 · doi:10.1111/j.1755-2567.1971.tb00060.x
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.