Artificial Intelligence and Law

, Volume 11, Issue 1, pp 45–61 | Cite as

John Horty, Agency and Deontic Logic

  • Jan Broersen
  • Leendert van der Torre


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bartha, P. (2002). A Review of John Horty's Agency and Deontic Logic. Notre Dame Philosophical Reviews (2002.02.01). Scholar
  2. Belnap, N., Perloff, M., and Xu, M. (2002). Facing the Future. Oxford University Press.Google Scholar
  3. Broersen, J. M., Dastani, M., Huang, Z., and van der Torre, L. W. N. (2002). Trust and Commitment in Dynamic Logic. In Shafazand, H. and Min Tjoa, A. (eds), Eurasia-ICT 2002: Information and Communication Technology, volume 2510 of Lecture Notes in Computer Science, 677–684. Springer.Google Scholar
  4. Castañeda, H.-N. (1981). The Paradoxes of Deontic Logic: The Simplest Solution to All of Them in One Fell Swoop. In Hilpinen, R. (ed.), New Studies in Deontic Logic: Norms, Actions and the Foundations of Ethics, 37–85. D. Reidel Publishing Company.Google Scholar
  5. Castañeda, H.-N. (1985). Aspectual Actions and Davidson's Theory of Events. In McLaughlin, B. P. and LePore, E. (eds.), Actions and Events: Perspectives on the Pholosophy of Donald Davidson, 294-310, Basil-Blackwell.Google Scholar
  6. Chellas, B. (1969). The Logical Form of Imparatives. Ph.D. thesis, Philosophy Department, Stanford University.Google Scholar
  7. Clarke, E. M., Emerson, E. A., and Sistla, A. P. (1986). Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2).Google Scholar
  8. Czelakowski, J. (2003). John F. Horty, Agency and Deontic Logic. Erkenntnis 58(1): 116–126.CrossRefGoogle Scholar
  9. Danielsson, S. (2002). A Review of John Horty's Agency and Deontic Logic. The Philosophical Quarterly, pp. 408–410.Google Scholar
  10. Emerson, E. A. (1990). Temporal and Modal Logic. In van Leeuwen, J. (ed.), Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, Chapter 14, 996–1072. Elsevier Science.Google Scholar
  11. Feldman, F. (1986). Doing the Best We Can. D. Reidel Publishing Company.Google Scholar
  12. Gibbard, A. (1965). Rule-Utilitarianism: Merely an Illusionary Alternative? Australasian Journal of Philosophy 43: 211–220.CrossRefGoogle Scholar
  13. Goldman, H. (1976). Dated Rightness and Moral Imperfection. The Philosophical Review 85: 449–487.CrossRefGoogle Scholar
  14. Hanks, S. and Dermott, D.M. (1986). Default Reasoning, Nonmonotonic Logics, and the Frame Problem. In Proceedings of the National Conference on Artifical Intelligence (AAAI86), 328-333, Morgan Kaufmann Publishers.Google Scholar
  15. Humberstone, I. (1983). The Background of Circumstances. Pacific Philosophic Quarterly 64: 19–34.Google Scholar
  16. Jackson, F. and Pargetter, R. (1986). Oughts, Options and Actualism. Philosophical Review 99: 233–255.CrossRefGoogle Scholar
  17. Kautz, H. (1986). The Logic of Persistence. In Proceedings of the National Conference on Artifical Intelligence (AAAI86), 401-405, Morgan Kaufmann Publishers.Google Scholar
  18. Lang, J., van der Torre, L. W. N., and Weydert, E. (2002). Utilitarian Desires. Autonomous Agents and Multi-Agent Systems 5(3): 329–363.CrossRefGoogle Scholar
  19. McNamara, P. (2003). Agency and Deontic Logic by John Horty. Mind 112(448).Google Scholar
  20. Regan, D. (1980). Utilitarianism and Co-operation. Clarendon Press.Google Scholar
  21. Savage, L. (1954). The Foundations of Statistics. John Wiley and Sons.Google Scholar
  22. Sobel, J. H. (1968). Rule-utilitarianism. Australasian Journal of Philosophy 46: 146–165.CrossRefGoogle Scholar
  23. Thomason, R. (1981). Deontic Logic as Founded on Tense Logic. In Hilpinen, R. (ed.), New Studies in Deontic Logic, 165–176. D. Reidel Publishing Company.Google Scholar
  24. van der Torre, L. W. N. and Tan, Y. (1998). The Temporal Analysis of Chisholm's Paradox. In Proceedings of 15th National Conference on Artificial Intelligence (AAAI'98), 650–655.Google Scholar
  25. van der Torre, L.W. N. and Tan, Y. (1999). Diagnosis and Decision Making in Normative Reasoning. Artificial Intelligence and Law 7: 51–67.CrossRefGoogle Scholar
  26. van der Torre, L. W. N. and Tan, Y. H. (1999). Contrary-to-Duty Reasoning with Preference-Based Dyadic Obligations. Annals of Mathematics and Artificial Intelligence 27: 49–78.MATHMathSciNetCrossRefGoogle Scholar
  27. von Wright, G. H. (1951). Deontic Logic. Mind 60: 1–15.Google Scholar
  28. Wansing, H. (2003). A Review of John Horty's ‘Agency and Deontic Logic’. Journal of Logic, Language and Information, to appear.Google Scholar

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Jan Broersen
    • 1
  • Leendert van der Torre
    • 2
  1. 1.ICS, Utrecht UniversityThe Netherlands
  2. 2.CWI, Amsterdam UniversityAmsterdamThe Netherlands

Personalised recommendations