×

Basic conditional logic. (English) Zbl 0317.02029


MSC:

03B99 General logic
03B25 Decidability of theories and sets of sentences
03C35 Categoricity and completeness of theories
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] ChellasBrian F.,The Logical Form of Imperatives, Perry Lane Press, Stanford, 1969.
[2] ChellasBrian F., ?Conditional Obligation?, inLogical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on his Fiftieth Birthday (edited by SörenStenlund), D. Reidel Publishing Company, Dordrecht, 1974, pp. 23-33.
[3] Chellas, Brian F. and McKinney, Audrey, ?The Completeness of Monotonic Modal Logics?, forthcoming inZeitschrift für mathematische Logik und Grundlagen der Mathematik. · Zbl 0331.02007
[4] CresswellMaxwell John, ?Classical Intensional Logics?,Theoria 36 (1970) 347-372. · Zbl 0217.30104 · doi:10.1111/j.1755-2567.1970.tb00433.x
[5] DanielssonSven, ?On the Strength of Commitments?, inModality, Morality and other Problems of Sense and Nonsense: Essays Dedicated to Sören Halldén, CWK Gleerup Bokförlag, Lund, 1973, pp. 120-129.
[6] FineKit, ?An Incomplete Logic containing S4?,Theoria 40 (1974) 23-29. · Zbl 0287.02011 · doi:10.1111/j.1755-2567.1974.tb00076.x
[7] FøllesdalDagfinn and HilpinenRisto, ?Deontic Logic: An Introduction?, inDeontic Logic: Introductory and Systematic Readings (edited by RistoHilpinen), D. Reidel Publishing Company, Dordrecht, 1971, pp. 1-35.
[8] Gabbay, Dov M.,Montague Type Semantics for Non-classical Logics I, U.S. Air Force Office of Scientific Research contract no. F 61052-68-C-0036, Scientific Report No. 4, October, 1969.
[9] GabbayDov M., ?A General Theory of the Conditional in Terms of a Ternary Operator?,Theoria 38 (1972) 97-104. · Zbl 0254.02019 · doi:10.1111/j.1755-2567.1972.tb00927.x
[10] Gabbay Dov M.,Semantical Methods in Non-classical Logics, volume 1:Modal and Tense Logics, North-Holland Publishing Company, Amsterdam, forthcoming. · Zbl 0309.02053
[11] Gerson, M., ?The Inadequacy of the Neighbourhood Semantics for Modal Logic?, Mathematics Department, Simon Fraser University, 1972. · Zbl 0312.02019
[12] HanssonBengt, ?An Analysis of Some Deontic Logics?,Noûs 3 (1969) 373-398. Reprinted inDeontic Logic: Introductory and Systematic Readings (edited by Risto Hilpinen), D. Reidel Publishing Company, Dordrecht, 1971, pp. 121-147.
[13] HanssonBengt and GärdenforsPeter, ?A Guide to Intensional Semantics?, inModality, Morality and Other Problems of Sense and Nonsense: Essays Dedicated to Sören Halldén, CWK Gleerup Bokförlag, Lund, 1973, pp. 151-167.
[14] KaplanDavid, Review of Saul A. Kripke, ?Semantical Analysis of Modal Logic, I. Normal Modal Propositional Calculi?,The Journal of Symbolic Logic 31 (1966) 120-122. · doi:10.2307/2270649
[15] KripkeSaul A., ?Semantical Analysis of Modal Logic, II. Non-normal Modal Propositional Calculi?, inThe Theory of Models, (edited by John W.Addison, LeonHenkin, and AlfredTarski), North-Holland Publishing Company, Amsterdam, 1965, pp. 206-220.
[16] Lemmon, E. John and Scott, Dana S.,Intensional Logic, Preliminary draft of initial chapters, Philosophy Department, Stanford University, July, 1966.
[17] LewisDavid K., ?Completeness and Decidability of Three Logics of Counterfactual Conditionals?,Theoria 37 (1971) 74-85. · Zbl 0229.02023 · doi:10.1111/j.1755-2567.1971.tb00061.x
[18] LewisDavid K.,Counterfactuals, Basil Blackwell, Oxford, 1973.
[19] LewisDavid K., ?Counterfactuals and Comparative Possibility?,Journal of Philosophical Logic 2 (1973) 418-446. · Zbl 0272.02048 · doi:10.1007/BF00262950
[20] LewisDavid K., ?Semantic Analyses for Dyadic Deontic Logic?, inLogical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on his Fiftieth Birthday (edited by SörenStenlund), D. Reidel Publishing Company, Dordrecht, 1974, pp. 1-14.
[21] RescherNicholas,The Logic of Commands, Dover Publications, New York, 1966.
[22] RescherNicholas, ?A Contribution to Modal Logic?, inTopics in Philosophical Logic, D. Reidel Publishing Company, Dordrecht, 1968, pp. 24-39.
[23] RoutleyRichard and MeyerRobert K., ?The Semantics of Entailment, I, II, III?, I: InTruth, Syntax and Modality (edited by HuguesLeblanc), North-Holland Publishing Company, Amsterdam, 1973, pp. 199-243. II and III:Journal of Philosophical Logic 1 (1972) 53-73 and 192-208.
[24] ScottDana S., ?Background to Formalization?, inTruth, Syntax and Modality (edited by HuguesLeblanc), North-Holland Publishing Company, Amsterdam, 1973, pp. 244-273.
[25] SegerbergKrister, ?Decidability of S4. 1?,Theoria 34 (1968) 7-20. · doi:10.1111/j.1755-2567.1968.tb00335.x
[26] SegerbergKrister,An Essay in Classical Modal Logic, 3 volumes, Filosofiska Studier (Philosophical Studies), Uppsala, 1971.
[27] SegerbergKrister, ?Some Logics of Commitment and Obligation?, inDeontic Logic: Introductory and Systematic Readings (edited by RistoHilpinen), D.Reidel Publishing Company, Dordrecht, 1971, pp. 148-158.
[28] StalnakerRobert C., ?A Theory of Conditionals?, inStudies in Logical Theory (American Philosophical Quarterly supplementary monograph series), edited by NicholasRescher, Basil Blackwell, Oxford, 1968, pp. 98-112.
[29] StalnakerRobert C. and ThomasonRichmond H., ?A Semantic Analysis of Conditional Logic?,Theoria 36 (1970) 23-42. · Zbl 0211.30601 · doi:10.1111/j.1755-2567.1970.tb00408.x
[30] ThomasonSteven K., ?An Incompleteness Theorem in Modal Logic?,Theoria 40 (1974) 30-34. · Zbl 0287.02012 · doi:10.1111/j.1755-2567.1974.tb00077.x
[31] vanFraassenBas C., ?The Logic of Conditional Obligation?,Journal of Philosophical Logic 1 (1972) 417-438. Also inExact Philosophy: Problems, Tools, and Goals (edited by Mario Bunge), D. Reidel Publishing Company, Dordrecht, 1973, pp. 151-172.
[32] vanFraassenBas C., ?Values and the Heart’s Command?,The Journal of Philosophy 70 (1973) 5-19. · doi:10.2307/2024762
[33] vonWrightGeorg Henrik, ?A New System of Deontic Logic?, inDeontic Logic: Introductory and Systematic Readings (edited by RistoHilpinen), D. Reidel Publishing Company, Dordrecht, 1971, pp. 105-120.
[34] ÅqvistLennart E.G.son, ?Revised Foundations for Imperative-Epistemic and Interrogative Logic?,Theoria 37 (1971) 31-73. · Zbl 0341.02017
[35] ÅqvistLennart E.G.son, ?Modal Logic with Subjunctive Conditionals and Dispositional Predicates?,Journal of Philosophical Logic 2 (1973) 1-76. · Zbl 0259.02015 · doi:10.1007/BF02115609
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.