A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic

Notre Dame Journal of Formal Logic

Volumn 29, Issue 1, 1988, Pages 109-136

  Meyer, J J Ch ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84972542053     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1093637776     Document Type: Article

References (21)

1. al-Hibri, A., Deontic Logic, University Press of America, Washington, 1978.
2. Anderson, A. R., “Some nasty problems in the formalization of ethics,” Nous, vol. 1 (1967), pp. 345-360.
3. Àqvist, L., “Deontic logic,” pp. 605-714 in Handbook of Philosophical Logic II, eds., D. M. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1984.
4. Casteheda, H.-N., “The paradoxes of deontic logic,” pp. 37-85 in New Studies in Deontic Logic, ed., R. Hilpinen, D. Reidel, Dordrecht, 1981.
5. de Bakker, J. W., Mathematical Theory of Program Correctness, Prentice Hall International, London, 1980.
6. Fpllesdal, D. and R. Hilpinen, “Deontic logic: An introduction,” pp. 1-35 in Deontic Logic: Introductory and Systematic Readings, ed., R. Hilpinen, D. Reidel, Dordrecht, 1981.
7. Gabbay, D. M., Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel, Dordrecht, 1976.
8. Harel, D., First-Order Dynamic Logic, Lecture Notes in Computer Science, vol. 68, Springer, 1979.
9. Hard, D., “Dynamic logic,” pp. 497-604 in Handbook of Philosophical Logic II, eds., D. M. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1984.
10. Hintikka, J., “Some main problems of deontic logic,” pp. 59-104 in Deontic Logic: Introductory and Systematic Readings, ed., R. Hilpinen, D. Reidel, Dordrecht, 1970.
11. Huisjes, C. H., “Norms and logic,” Thesis, University of Groningen, 1981.
12. Kalinowski, G., Einführung in die Normenlogik, Athenäum Press, 1972.
13. Kenny, A. J., “Practical inference,” Analysis, vol. 26 (1966), pp. 65-75.
14. Makinson, D., “Stenius’ approach to disjunctive permission,” Theoria, vol. 50 (1984), pp. 138-147.
15. McArthur, R. P., “Anderson’s deontic logic and relevant implication,” Notre Dame Journal of Formal Logic, vol. 22 (1981), pp. 145-154.
16. Sawicki, A., “Formalized algorithmic languages,” Bulletin of the Academy of Polish Science, Ser. Math., vol. 18 (1970), pp. 227-232.
17. Segerberg, K., “A completeness theorem in the modal logic of programs,” Universal Algebra and Applications, Banach Center Publications, vol. 9, Warsaw, 1982.
18. Soeteman, A., “Norm en Logica,” Thesis, University of Leiden, 1981.
19. van Eck, J. A., “A system of temporally relative modal and deontic predicate logic and its philosophical applications,” Thesis, University of Groningen, 1981.
20. von Wright, G. H., “Deontic logic and the theory of conditions,” pp. 105-120 in Deontic Logic: Introductory and Systematic Readings, ed., R. Hilpinen, D. Reidel, Dordrecht, 1970.
21. Yanov, J., “On equivalence of operator schemes,” Problems of Cybernetics, vol. 1 (1959).