{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:49Z","timestamp":1747548349288,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_6","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"77-91","source":"Crossref","is-referenced-by-count":7,"title":["Prohairetic Deontic Logic (PDL)"],"prefix":"10.1007","author":[{"given":"Leendert W. N.","family":"van der Torre","sequence":"first","affiliation":[]},{"given":"Yao-Hua","family":"Tan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"unstructured":"C.E. Alchourr\u00f3n. Philosophical foundations of deontic logic and the logic of defeasible conditionals. In J.-J. Meyer and R. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pages 43\u201384. John Wiley & Sons, 1993.","key":"6_CR1"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"361","DOI":"10.2307\/2214624","volume":"1","author":"L. \u00c5qvist","year":"1967","unstructured":"L. \u00c5qvist. Good Samaritans, contrary-to-duty imperatives, and epistemic obligations. No\u00fbs, 1:361\u2013379, 1967.","journal-title":"No\u00fbs"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"C. Boutilier. Conditional logics of normality: a modal approach. Artificial Intelligence, 68:87\u2013154, 1994.","journal-title":"Artificial Intelligence"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF01531266","volume":"9","author":"A.L. Brown","year":"1993","unstructured":"A.L. Brown, S. Mantha, and T. Wakayama. Exploiting the normative aspect of preference: a deontic logic without actions. Annals of Mathematics and Artificial Intelligence, 9:167\u2013203, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"B.F. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.","key":"6_CR5","DOI":"10.1017\/CBO9780511621192"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/3327064","volume":"24","author":"R.M. Chisholm","year":"1963","unstructured":"R.M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis, 24:33\u201336, 1963.","journal-title":"Analysis"},{"issue":"4","key":"6_CR7","first-page":"145","volume":"18","author":"R. Conte","year":"1997","unstructured":"R. Conte and R. Falcone. ICMAS\u201996: Norms, obligations, and conventions. AI Magazine, 18,4:145\u2013147, 1997.","journal-title":"AI Magazine"},{"unstructured":"B.S. Firozabadhi and L.W.N. van der Torre. Towards an analysis of control systems. In H. Prade, editor, Proceedings of the ECAI\u201998, pages 317\u2013318, 1998.","key":"6_CR8"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2026120","volume":"81","author":"J.W. Forrester","year":"1984","unstructured":"J.W. Forrester. Gentle murder, or the adverbial Samaritan. Journal of Philosophy, 81:193\u2013197, 1984.","journal-title":"Journal of Philosophy"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF00556636","volume":"19","author":"L. Goble","year":"1990","unstructured":"L. Goble. A logic of good, would and should, part 2. Journal of Philosophical Logic, 19:253\u2013276, 1990.","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF00404830","volume":"64","author":"L. Goble","year":"1991","unstructured":"L. Goble. Murder most gentle: the paradox deepens. Philosophical Studies, 64:217\u2013227, 1991.","journal-title":"Philosophical Studies"},{"key":"6_CR12","first-page":"121","volume-title":"Deontic Logic: Introductionary and Systematic Readings","author":"B. Hansson","year":"1971","unstructured":"B. Hansson. An analysis of some deontic logics. In R. Hilpinen, editor, Deontic Logic: Introductionary and Systematic Readings, pages 121\u2013147. D. Reidel Publishing Company, Dordrecht, Holland, 1971. Reprint from No\u00fbs, 1969."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01239128","volume":"31","author":"S.O. Hansson","year":"1989","unstructured":"S.O. Hansson. A new semantical approach to the logic of preference. Erkenntnis, 31:1\u201342, 1989.","journal-title":"Erkenntnis"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1305\/ndjfl\/1093635338","volume":"31","author":"S.O. Hansson","year":"1990","unstructured":"S.O. Hansson. Defining \u201cgood\u201d and \u201cbad\u201d in terms of \u201cbetter\u201d. Notre Dame Journal of Formal Logic, 31:136\u2013149, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF00211186","volume":"19","author":"S.O. Hansson","year":"1990","unstructured":"S.O. Hansson. Preference-based deontic logic (PDL). Journal of Philosophical Logic, 19:75\u201393, 1990.","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1023\/A:1004233913104","volume":"26","author":"S.O. Hansson","year":"1997","unstructured":"S.O. Hansson. Situationist deontic logic. Journal of Philosophical Logic, 26:423\u2013448, 1997.","journal-title":"Journal of Philosophical Logic"},{"unstructured":"Z. Huang and M. Masuch. The logic of permission and obligation in the framework of ALX3: how to avoid the paradoxes of deontic logic. Logique et Analyse, 149, 1997.","key":"6_CR17"},{"unstructured":"H.G. Hughes and M.J. Creswell. A Companion to Modal Logic. Methuen, London, 1984.","key":"6_CR18"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1093\/mind\/XCIV.374.177","volume":"94","author":"F. Jackson","year":"1985","unstructured":"F. Jackson. On the semantics and logic of obligation. Mind, 94:177\u2013196, 1985.","journal-title":"Mind"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF00869303","volume":"65","author":"R.E. Jennings","year":"1985","unstructured":"R.E. Jennings. Can there be a natural deontic logic? Synthese, 65:257\u2013274, 1985.","journal-title":"Synthese"},{"unstructured":"P. Lamarre. S4 as the conditional logic of nonmonotonicity. In Proceedings of the KR\u201991, pages 357\u2013367, 1991.","key":"6_CR21"},{"key":"6_CR22","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis. Counterfactuals. Blackwell, Oxford, 1973."},{"key":"6_CR23","first-page":"1","volume-title":"Logical Theory and Semantical Analysis","author":"D. Lewis","year":"1974","unstructured":"D. Lewis. Semantic analysis for dyadic deontic logic. In S. Stunland, editor, Logical Theory and Semantical Analysis, pages 1\u201314. D. Reidel Publishing Company, Dordrecht, Holland, 1974."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"B. Loewer","year":"1983","unstructured":"B. Loewer and M. Belzer. Dyadic deontic detachment. Synthese, 54:295\u2013318, 1983.","journal-title":"Synthese"},{"doi-asserted-by":"crossref","unstructured":"J. Pearl. From conditional oughts to qualitative decision theory. In Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence (UAI\u201993), pages 12\u201320, 1993.","key":"6_CR25","DOI":"10.1016\/B978-1-4832-1451-1.50006-8"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"H. Prakken and M.J. Sergot. Contrary-to-duty obligations. Studia Logica, 57:91\u2013115, 1996.","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"H. Prakken and M.J. Sergot. Dyadic deontic logic and contrary-to-duty obligations. In D. Nute, editor, Defeasible Deontic Logic, pages 223\u2013262. Kluwer, 1997.","key":"6_CR27","DOI":"10.1007\/978-94-015-8851-5_10"},{"doi-asserted-by":"crossref","unstructured":"Y. Moses R. Fagin, J.Y. Halpern and M.Y. Vardi. Reasoning About Knowledge. MIT press, 1995.","key":"6_CR28","DOI":"10.7551\/mitpress\/5803.001.0001"},{"doi-asserted-by":"crossref","unstructured":"S.-W. Tan and J. Pearl. Specification and evaluation of preferences under uncertainty. In Proceedings of the KR\u201994, pages 530\u2013539, 1994.","key":"6_CR29","DOI":"10.1016\/B978-1-4832-1452-8.50144-5"},{"doi-asserted-by":"crossref","unstructured":"Y.-H. Tan and L.W.N. van der Torre. How to combine ordering and minimizing in a deontic logic based on preferences. In Deontic Logic, Agency and Normative Systems. Proceedings of the \u0394EON\u201996, Workshops in Computing, pages 216\u2013232. Springer Verlag, 1996.","key":"6_CR30","DOI":"10.1007\/978-1-4471-1488-8_12"},{"unstructured":"L.W.N. van der Torre. Violated obligations in a defeasible deontic logic. In Proceedings of the ECAI\u201994, pages 371\u2013375, 1994.","key":"6_CR31"},{"unstructured":"L.W.N. van der Torre. Reasoning About Obligations: Defeasibility in Preference-based Deontic Logics. PhD thesis, Erasmus University Rotterdam, 1997.","key":"6_CR32"},{"unstructured":"L.W.N. van der Torre and Y.-H. Tan. Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic. In Proceedings of the IJCAI\u201995, pages 1525\u20131532, 1995.","key":"6_CR33"},{"key":"6_CR34","first-page":"1","volume-title":"Proceedings of the First International Conference on Modeling and Using Context (CONTEXT\u2019 97)","author":"L.W.N. Torre van der","year":"1997","unstructured":"L.W.N. van der Torre and Y.-H. Tan. Contextual deontic logic. In Proceedings of the First International Conference on Modeling and Using Context (CONTEXT\u2019 97), pages 1\u201312, Rio de Janeiro, Brazil, 1997."},{"doi-asserted-by":"crossref","unstructured":"L.W.N. van der Torre and Y.-H. Tan. The many faces of defeasibility in defeasible deontic logic. In D. Nute, editor, Defeasible Deontic Logic, pages 79\u2013121. Kluwer, 1997.","key":"6_CR35","DOI":"10.1007\/978-94-015-8851-5_5"},{"unstructured":"L.W.N. van der Torre and Y.-H. Tan. Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law, 1998.","key":"6_CR36"},{"unstructured":"L.W.N. van der Torre and Y.-H. Tan. The temporal analysis of Chisholm\u2019s paradox. In Proceedings of the AAAI\u201998, 1998.","key":"6_CR37"},{"unstructured":"L.W.N. van der Torre and Y.-H. Tan. An update semantics for deontic reasoning. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science. IOS Press, 1998.","key":"6_CR38"},{"unstructured":"L.W.N. van der Torre and Y.-H. Tan. An update semantics for prima facie obligations. In H. Prade, editor, Proceedings of the ECAI\u201998, pages 38\u201342, 1998.","key":"6_CR39"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"5","DOI":"10.2307\/2024762","volume":"70","author":"B.C. Fraassen van","year":"1973","unstructured":"B.C. van Fraassen. Values and the heart command. Journal of Philosophy, 70:5\u201319, 1973.","journal-title":"Journal of Philosophy"},{"unstructured":"G.H. von Wright. The Logic of Preference. Edinburgh University Press, 1963.","key":"6_CR41"},{"key":"6_CR42","first-page":"105","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"G.H. Wright von","year":"1971","unstructured":"G.H. von Wright. A new system of deontic logic. In R. Hilpinen, editor, Deontic Logic: Introductory and Systematic Readings, pages 105\u2013120. D. Reidel Publishing company, Dordrecht, Holland, 1971."},{"doi-asserted-by":"crossref","unstructured":"E. Weydert. Hyperrational conditionals. monotonic reasoning about nested default conditionals. In Foundations of Knowledge Representation and Reasoning, LNAI 810, pages 310\u2013332. Springer, 1994.","key":"6_CR43","DOI":"10.1007\/3-540-58107-3_18"},{"key":"6_CR44","first-page":"17","volume-title":"Deontic Logic in Computer Science","author":"R.J. Wieringa","year":"1993","unstructured":"R.J. Wieringa and J.-J.Ch. Meyer. Applications of deontic logic in computer science: A concise overview. In Deontic Logic in Computer Science, pages 17\u201340. John Wiley & Sons, Chichester, England, 1993."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:41:25Z","timestamp":1737348085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}