Conflicting imperatives and dyadic deontic logic

Journal of Applied Logic

Volumn 3, Issue 3-4, 2005, Pages 484-511

  Hansen, Jörg ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Conflict of norms; Deontic logic; Logic of imperatives

Indexed keywords

BOOLEAN ALGEBRA; MATHEMATICAL OPERATORS; SEMANTICS; SET THEORY; THEOREM PROVING;

CONFLICT OF NORMS; DEONTIC LOGIC; LOGIC OF IMPERATIVES;

FORMAL LOGIC;

EID: 23844542446     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.04.005     Document Type: Article

References (49)

1. C.E. Alchourrón E. Bulygin Unvollständigkeit, Widersprüchlichkeit und Unbestimmtheit der Normenordnungen in: A.G. Conte R. Hilpinen G.H. von Wright (Eds.) Deontische Logik und Semantik 1977 Athenaion Wiesbaden 20-32
2. A. Bochman Credulous nonmonotonic inference in: T. Dean (Ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI '99, Stockholm, Sweden, 1999 1999 Morgan Kaufmann San Francisco 30-35
3. A. Bochman A Logical Theory of Nonmonotonic Inference and Belief Change 2001 Springer Berlin
4. A. Bochman Brave nonmonotonic inference and its kinds Ann. Math. Artificial Intelligence 39 2003 101-121
5. S. Brass On the semantics of supernormal defaults in: R. Bajcsy (Ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI '93, Chambery, France 1993 Morgan Kaufmann New York 578-583
6. G. Brewka Belief revision in a framework for default reasoning in: A. Fuhrmann M. Morreau (Eds.) The Logic of Theory Change, Workshop, Konstanz, 1989 Lecture Notes in Artificial Intelligence vol. 465 1991 Springer Berlin 206-222
7. D.O. Brink Moral conflict and its structure Philos. Rev. 103 1994 215-247
8. A. Donagan Consistency in rationalist moral systems J. Philos. 81 1984 291-309
9. D. Føllesdal, R. Hilpinen, Deontic logic: An introduction, in [19], pp. 1-35
10. L. Forget V. Risch P. Siegel Preferential logics are X-logics J. Logic Comput. 11 2001 71-83
11. B. van Fraassen Values and the Heart's command J. Philos. 70 1973 5-19
12. L. Goble Multiplex semantics for deontic logics Nordic J. Philos. Logic 5 2000 113-134
13. L. Goble Preference semantics for deontic logics: Part I-simple models Logique Anal. 46 2003 383-418
14. L. Goble Preference semantics for deontic logics: Part II-multiplex models Logique Anal. 47 2004
15. L. Goble A logic for deontic dilemmas J. Appl. Logic 3 2005
16. J. Hansen Sets, sentences, and some logics about imperatives Fund. Inform. 48 2001 205-226
17. J. Hansen Problems and results for logics about imperatives J. Appl. Logic 2 2004 39-61
18. B. Hansson An analysis of some deontic logics Noûs 3 1969 373-398 reprinted in [19], pp. 121-147.
19. R. Hilpinen Deontic Logic: Introductory and Systematic Readings 1971 Reidel Dordrecht
20. J.F. Horty Nonmonotonic foundations for deontic logic in: D. Nute (Ed.) Defeasible Deontic Logic 1997 Kluwer Dordrecht 17-44
21. J.F. Horty Reasoning with moral conflicts Noûs 37 2003 557-605
22. D. Jacquette Moral dilemmas, disjunctive obligations, and Kant's principle that 'Ought' implies 'Can' Synthese 88 1991 43-55
23. H. Kelsen Reine Rechtslehre second ed. 1960 Deuticke Wien
24. H. Kelsen Allgemeine Theorie der Normen 1979 Manz Wien
25. A. Kratzer Conditional necessity and possibility in: R. Bäuerle (Ed.) Semantics from Different Points of View 1979 Springer Berlin 116-147
26. S. Kraus D. Lehmann M. Magidor Nonmonotonic reasoning, preferential models and cumulative logics Artificial Intelligence 44 1990 167-207
27. E.J. Lemmon Moral dilemmas Philos. Rev. 71 1962 139-158
28. D. Lewis Counterfactuals 1973 Basil Blackwell Oxford
29. D. Lewis Semantic analyses for dyadic deontic logic in: S. Stenlund (Ed.) Logical Theory and Semantic Analysis 1974 Reidel Dordrecht 1-14
30. D. Lewis Ordering semantics and premise semantics for counterfactuals J. Philos. Logic 10 1981 217-234
31. D. Makinson Bridges between classical and nonmonotonic logic Logic J. IGPL 11 2003 69-96
32. D. Makinson L. van der Torre Input/output logics J. Philos. Logic 29 2000 383-408
33. R.B. Marcus Moral dilemmas and consistency J. Philos. 77 1980 121-136
34. B. Nebel Syntax-based approaches to belief revision in: P. Gärdenfors (Ed.) Belief Revision 1992 Cambridge University Press Cambridge 52-88
35. D. Poole A logical framework for default reasoning Artificial Intelligence 36 1988 27-47
36. N. Rescher An axiom system for deontic logic Philos. Stud. 9 1958 24-30
37. H. Rott Belief contraction in the context of the general theory of rational choice J. Symbolic Logic 58 1993 1426-1450
38. P. Siegel L. Forget A representation theorem for preferential logics in: L.C. Aiello J. Doyle S.C. Shapiro (Eds.) Principles of Knowledge Representation and Reasoning (Proceedings of the 5th International Conference, KR 96) 1996 Morgan Kaufmann San Francisco, CA 453-460
39. W. Spohn An analysis of Hansson's dyadic deontic logic J. Philos. Logic 4 1975 237-252
40. E. Stenius The principles of a logic of normative systems Acta Philos. Fennica 16 1963 247-260
41. L. van der Torre Reasoning About Obligations 1997 Thesis Publishers Amsterdam
42. L. van der Torre Y.-H. Tan Two-phase deontic logic Logique Anal. 43 2000 411-456
43. B. Williams Ethical consistency Proc. Aristotelian Soc. (supp.) 39 1965 103-124
44. G.H. von Wright A note on deontic logic and derived obligation Mind 65 1956 507-509
45. G.H. von Wright Norm and Action 1963 Routledge & Kegan Paul London
46. G.H. von Wright A new system of deontic logic Danish Yearbook Philos. 1 1964 173-182 reprinted in [19], pp. 105-115.
47. G.H. von Wright A correction to a new system of deontic logic Danish Yearbook Philos. 2 1965 103-107 reprinted in [19], pp. 115-120.
48. G.H. von Wright An Essay in Deontic Logic and the General Theory of Action 1968 North-Holland Amsterdam
49. G.H. von Wright Deontic logic-as I see it in: P. McNamara H. Prakken (Eds.) Norms, Logics and Information Systems 1999 IOS Amsterdam 15-25