Reasoning about actions and obligations in first-order logic

Studia Logica

Volumn 57, Issue 1, 1996, Pages 221-237

  Lokhorst, Gert Jan C ^a  

^a ERASMUS UNIVERSITY ROTTERDAM   (Netherlands)

Author keywords

Deontic logic; Logic of action

Indexed keywords

EID: 53349099821     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/BF00370676     Document Type: Article

References (18)

1. AQVIST, L., 1984, Deontic logic, In D. Gabbay and F. Günthner, editors, Handbook of Philosophical Logic, Vol. 11: Extensions of Classical Logic, 605-714, Reidel, Dordrecht.
2. CHELLAS, B. F., 1992, Time and modality in the logic of agency, Studio Logica 51, 485-517.
3. DAVIDSON, D., 1980, Essays on Actions and Events, chapter The Logical Form of Action Sentences (1967), 105-122. Clarendon Press, Oxford.
4. HUGHES, G. E., and M. J. CRESSWELL, 1968, An Introduction to Modal Logic, Methuen, London.
5. LEE, R. M., 1992, DX: A deontic expert system. Working Paper 1992.10.01, Erasmus University Research Institute for Decision and Information Systems (EURIDIS), Rotterdam.
6. LLOYD, J. W., 1987, Foundations of Logic Programming, second edition, SpringerVerlag, Berlin.
7. MARTIN, R. M., 1981, Logico-Linguistic Papers, chapter On the Analysis of Action Sentences, 155-169. Foris, Dordrecht.
8. MENDELSON, E., 1970, Boolean Algebra and Switching Circuits, McGraw-Hill, New York.
9. MEYER, J. J. GH., 1988, A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic, Notre Dame Journal of Formal Logic 29, 109-136.
10. ONG, K. L., and R. M. LEE, 1993, A formal model for maintaining consistency of evolving bureaucratic policies: A logical and abductive approach. Research Monograph 1993.01.01, Erasmus University Research Institute for Decision and Information Systems (EURIDIS), Rotterdam.
11. REICHENBACH, H., 1947, Elements of Symbolic Logic, Macmillan, New York.
12. RYU, Y. U., and R. M. LEE, 1992, Defeasible deontic reasoning and its applications to normative systems. Working Paper 1992.07.01, Erasmus University Research Institute for Decision and Information Systems (EURIDIS), Rotterdam.
13. RYU, Y. U., and R. M. LEE, 1992, A formal representation of normative systems. Research Monograph 1992.08.01, Erasmus University Research Institute for Decision and Information Systems (EURIDIS), Rotterdam.
14. ROYAKKERS, L. M. M., 1993, Predikatieve deontische logica. Master's thesis, Technische Universiteit, Eindhoven.
15. SEGERBERG, K., 1982, A deontic logic of action, Studio Logica 41, 269-282.
16. SEGERBERG, K., 1984, A topological logic of action, Studio Logics 43, 415-419.
17. VON WRIGHT, G. H., 1951, Deontic logic, Mind 60, 1-15.
18. VON WRIGHT, G. H., 1971, Norm and Action: A Logical Enquiry, Routledge and Kegan Paul, London.