Contrary-to-duty obligations

Belzer, M., 1987, ?Legal reasoning in 3-D?, Proc. First International Conference on Artificial Intelligence and Law, Boston. ACM Press, 155?163.

Brown, A. L., Jr., S. Mantha and T. Wakayama, 1993, ?Exploiting the normative aspect of preference: a deontic logic without actions?, Annals of Mathematics and Artificial Intelligence 9, 167?204.

Chellas, B., 1980, Modal logic: An introduction, Cambridge University Press.

Chisholm, R. M., 1963, ?Contrary-to-duty imperatives and deontic logicr?, Analysis 24, 33?36.

Forrester, J. W., 1984, ?Gentle murder, or the adverbial Samaritan?, Journal of Philosophy 81, 193?197.

Hansson, S. O., 1990, ?Preference-based deontic logic (PDL)?, Journal of Philosophical Logic 19, 75?93.

Hilpinen, R., 1993, ?Actions in Deontic Logic?, In J.-J.Ch. Meyer and R.J. Wieringa (eds.): Deontic Logic in Computer Science: Normative System Specification?, John Wiley & Sons, Chichester, 85?100.

Jones, A. J. I., and I. Pörn, 1985, ?Ideality, sub-ideality and deontic logic?, Synthese 65, 275?290.

Lewis, D., 1974, ?Semantic analyses for dyadic deontic logic?, In S. Stenlund (ed.): Logical Theory and Semantic Analysis, D. Reidel, Dordrecht, 1?14.

McCarty, L. T., 1994, ?Defeasible deontic reasoning?, Fundamenta Informaticae 21, 125?148.

Makinson, D., 1993, ?Five faces of minimality?, Studia Logica 52, no. 3.

Meyer, J. -J. Ch., 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.

Morreau, M., 1994, ?Prima facie and Seeming Duties?, In A. J. I. Jones and M. J. Sergot (eds.): Proceedings of DEON'94: Second International Workshop on Deontic Logic and Computer Science, Oslo, January 1994. Complex 1/94, Tano Publishers, Norway.

Ryu, Y. H., and R. M. Lee, 1991, ?Defeasible deontic reasoning: a logic programming model?, Proceedings of the First International Workshop on Deontic Logic in Computer Science, DEON-91, Amsterdam, 347?363.

Veltman, F., 1991, Defaults in Update Semantics. Report LP-91-02, Institute for Language, Logic and Information, University of Amsterdam.

Aqvist, L., and J. Hoepelman, 1981, ?Some theorems about a ?tree? system of deontic tense logic?, In R. Hilpinen (ed.): New studies in deontic logic, Reidel, Dordrecht, 187?221.