Skip to main content
SpringerLink
Log in

John Horty, Agency and Deontic Logic

  • Published:
Artificial Intelligence and Law Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Bartha, P. (2002). A Review of John Horty's Agency and Deontic Logic. Notre Dame Philosophical Reviews (2002.02.01). ndpr.icaap.org.

  • Belnap, N., Perloff, M., and Xu, M. (2002). Facing the Future. Oxford University Press.

  • 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.

  • 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.

  • 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.

  • Chellas, B. (1969). The Logical Form of Imparatives. Ph.D. thesis, Philosophy Department, Stanford University.

  • 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).

  • Czelakowski, J. (2003). John F. Horty, Agency and Deontic Logic. Erkenntnis 58(1): 116–126.

    Article  Google Scholar 

  • Danielsson, S. (2002). A Review of John Horty's Agency and Deontic Logic. The Philosophical Quarterly, pp. 408–410.

  • 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.

  • Feldman, F. (1986). Doing the Best We Can. D. Reidel Publishing Company.

  • Gibbard, A. (1965). Rule-Utilitarianism: Merely an Illusionary Alternative? Australasian Journal of Philosophy 43: 211–220.

    Article  Google Scholar 

  • Goldman, H. (1976). Dated Rightness and Moral Imperfection. The Philosophical Review 85: 449–487.

    Article  Google Scholar 

  • 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.

  • Humberstone, I. (1983). The Background of Circumstances. Pacific Philosophic Quarterly 64: 19–34.

    Google Scholar 

  • Jackson, F. and Pargetter, R. (1986). Oughts, Options and Actualism. Philosophical Review 99: 233–255.

    Article  Google Scholar 

  • Kautz, H. (1986). The Logic of Persistence. In Proceedings of the National Conference on Artifical Intelligence (AAAI86), 401-405, Morgan Kaufmann Publishers.

  • Lang, J., van der Torre, L. W. N., and Weydert, E. (2002). Utilitarian Desires. Autonomous Agents and Multi-Agent Systems 5(3): 329–363.

    Article  Google Scholar 

  • McNamara, P. (2003). Agency and Deontic Logic by John Horty. Mind 112(448).

  • Regan, D. (1980). Utilitarianism and Co-operation. Clarendon Press.

  • Savage, L. (1954). The Foundations of Statistics. John Wiley and Sons.

  • Sobel, J. H. (1968). Rule-utilitarianism. Australasian Journal of Philosophy 46: 146–165.

    Article  Google Scholar 

  • 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.

  • 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.

  • van der Torre, L.W. N. and Tan, Y. (1999). Diagnosis and Decision Making in Normative Reasoning. Artificial Intelligence and Law 7: 51–67.

    Article  Google Scholar 

  • 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.

    Article  MATH  MathSciNet  Google Scholar 

  • von Wright, G. H. (1951). Deontic Logic. Mind 60: 1–15.

    Google Scholar 

  • Wansing, H. (2003). A Review of John Horty's ‘Agency and Deontic Logic’. Journal of Logic, Language and Information, to appear.

Download references

Author information

Authors and Affiliations

  1. ICS, Utrecht University, The Netherlands

    Jan Broersen

  2. CWI, Amsterdam University, Amsterdam, The Netherlands

    Leendert van der Torre

Authors
  1. Jan Broersen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leendert van der Torre
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Broersen, J., van der Torre, L. John Horty, Agency and Deontic Logic . Artificial Intelligence and Law 11, 45–61 (2003). https://doi.org/10.1023/B:ARTI.0000013352.63798.08

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:ARTI.0000013352.63798.08

Keywords

Search

Navigation