{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T02:24:25Z","timestamp":1769307865140,"version":"3.49.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T00:00:00Z","timestamp":1709683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T00:00:00Z","timestamp":1709683200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["M 3240-N"],"award-info":[{"award-number":["M 3240-N"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"TU Wien"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This is a report on the project \u201cAxiomatizing Conditional Normative Reasoning\u201d (ANCoR, M 3240-N) funded by the Austrian Science Fund (FWF). The project aims to deepen our understanding of conditional normative reasoning by providing an axiomatic study of it at the propositional but also first-order level. The focus is on a particular framework, the so-called preference-based logic for conditional obligation, whose main strength has to do with the treatment of contrary-to-duty reasoning and reasoning about exceptions. The project considers not only the meta-theory of this family of logics but also its mechanization.<\/jats:p>","DOI":"10.1007\/s13218-024-00832-1","type":"journal-article","created":{"date-parts":[[2024,3,6]],"date-time":"2024-03-06T06:01:55Z","timestamp":1709704915000},"page":"107-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Report on \u201cAxiomatizing Conditional Normative Reasoning\u201d"],"prefix":"10.1007","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6623-9853","authenticated-orcid":false,"given":"Xavier","family":"Parent","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,6]]},"reference":[{"key":"#cr-split#-832_CR1.1","doi-asserted-by":"crossref","unstructured":"Hansson B (1969) An analysis of some deontic logics. No$$\\hat{\\text{u}}$$s 3(4):373-398. Reprinted in [Hilpinen R","DOI":"10.2307\/2214372"},{"key":"#cr-split#-832_CR1.2","unstructured":"(ed) (1971) Deontic logic: introductory and systematic readings. Reidel, Dordrecht, pp 121-147]"},{"key":"832_CR2","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis D (1973) Counterfactuals. Blackwell, Oxford"},{"key":"832_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-94-015-8851-5_10","volume-title":"Defeasible deontic logic","author":"H Prakken","year":"1997","unstructured":"Prakken H, Sergot M (1997) Dyadic deontic logic and contrary-to-duty obligations. In: Nute D (ed) Defeasible deontic logic. Kluwer Academic Publishers, Dordrecht, pp 223\u2013262"},{"issue":"3","key":"832_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D Makinson","year":"1993","unstructured":"Makinson D (1993) Five faces of minimality. Stud Log 52(3):339\u2013379","journal-title":"Stud Log"},{"key":"832_CR5","first-page":"3","volume-title":"Handbook of deontic logic and normative systems","author":"R Hilpinen","year":"2013","unstructured":"Hilpinen R, McNamara P (2013) Deontic logic: a historical survey and introduction. In: Gabbay D, Horty J, Parent X, Meyden R, Torre L (eds) Handbook of deontic logic and normative systems, vol 1. College Publications, London, pp 3\u2013136"},{"issue":"2","key":"832_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.2307\/1913486","volume":"41","author":"H Herzberger","year":"1973","unstructured":"Herzberger H (1973) Ordinal preference and rational choice. Econometrica 41(2):187\u2013237","journal-title":"Econometrica"},{"issue":"4","key":"832_CR7","doi-asserted-by":"publisher","first-page":"745","DOI":"10.2307\/2171939","volume":"65","author":"A Sen","year":"1997","unstructured":"Sen A (1997) Maximization and the act of choice. Econometrica 65(4):745\u2013779","journal-title":"Econometrica"},{"key":"832_CR8","volume-title":"Individual and collective choice and social welfare: essays in honour of Nick Baigent","author":"R Bradley","year":"2015","unstructured":"Bradley R (2015) A note on incompleteness, transitivity and Suzumura consistency. In: Binder C, Codognato G, Teschl M, Xu Y (eds) Individual and collective choice and social welfare: essays in honour of Nick Baigent. Springer, Berlin"},{"issue":"2","key":"832_CR9","first-page":"138","volume":"16","author":"LS Temkin","year":"1987","unstructured":"Temkin LS (1987) Intransitivity and the mere addition paradox. Philos Public Aff 16(2):138\u2013187","journal-title":"Philos Public Aff"},{"key":"832_CR10","volume-title":"A companion to modal logic","author":"GE Hughes","year":"1984","unstructured":"Hughes GE, Cresswell MJ (1984) A companion to modal logic. Methuen, London"},{"key":"832_CR11","volume-title":"Handbook of deontic logic and normative systems","author":"X Parent","year":"2021","unstructured":"Parent X (2021) Preference semantics for dyadic deontic logic: a survey of results. In: Gabbay D, Horty J, Parent X, Meyden R, Torre L (eds) Handbook of deontic logic and normative systems, vol 2. College Publications, London"},{"key":"832_CR12","unstructured":"Parent X, Benzm\u00fcller C (2022) Automated verification of deontic correspondences in Isabelle\/HOL\u2014first results. In: Benzm\u00fcller C, Otten J (eds) Proceedings of the 4th international workshop on automated reasoning in quantified non-classical logics (ARQNL 2022) affiliated with the 11th international joint conference on automated reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022. CEUR workshop proceedings, vol 3326. CEUR-WS.org, Aachen, pp 92\u2013108"},{"key":"832_CR13","doi-asserted-by":"crossref","unstructured":"Parent X (2024) On some weakened forms of transitivity in the logic of conditional obligation. J Philos Log (forthcoming)","DOI":"10.1007\/s10992-024-09748-5"},{"key":"832_CR14","first-page":"1073","volume-title":"Handbook of mathematical economics","author":"A Sen","year":"1986","unstructured":"Sen A (1986) Social choice theory. In: Arrow KJ, Intriligator M (eds) Handbook of mathematical economics, vol 3. Elsevier, Amsterdam, pp 1073\u20131181"},{"key":"832_CR15","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvjhzq9s","volume-title":"Consistency, choice, and rationality","author":"W Bossert","year":"2010","unstructured":"Bossert W, Suzumara K (2010) Consistency, choice, and rationality. Harvard University Press, Cambridge"},{"issue":"1","key":"832_CR16","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0022-2496(70)90062-3","volume":"7","author":"P Fishburn","year":"1970","unstructured":"Fishburn P (1970) Intransitive indifference with unequal indifference intervals. J Math Psychol 7(1):144\u2013149","journal-title":"J Math Psychol"},{"key":"832_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-94-010-0387-2_3","volume-title":"Handbook of philosophical logic","author":"L \u00c5qvist","year":"2002","unstructured":"\u00c5qvist L (2002) Deontic logic. In: Gabbay DM, Guenthner F (eds) Handbook of philosophical logic, vol 8. Springer, Dordrecht, pp 147\u2013264"},{"issue":"6","key":"832_CR18","doi-asserted-by":"publisher","first-page":"1101","DOI":"10.1007\/s10992-013-9308-0","volume":"43","author":"X Parent","year":"2014","unstructured":"Parent X (2014) Maximality vs. optimality in dyadic deontic logic. J Philos Log 43(6):1101\u20131128","journal-title":"J Philos Log"},{"issue":"4","key":"832_CR19","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson D, van der Torre L (2000) Input\/output logics. J Philos Log 29(4):383\u2013408","journal-title":"J Philos Log"},{"issue":"2","key":"832_CR20","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson D, van der Torre L (2001) Constraints for input\/output logics. J Philos Log 30(2):155\u2013185","journal-title":"J Philos Log"},{"issue":"4","key":"832_CR21","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson D, van der Torre L (2003) Permission from an input\/output perspective. J Philos Log 32(4):391\u2013416","journal-title":"J Philos Log"},{"key":"832_CR22","doi-asserted-by":"publisher","unstructured":"Oslweski M, Parent X, van der Torre L (2023) Permissive and regulative norms in deontic logic. J Log Comput. exad024. https:\/\/doi.org\/10.1093\/logcom\/exad024","DOI":"10.1093\/logcom\/exad024"},{"key":"832_CR23","doi-asserted-by":"crossref","unstructured":"Ciabattoni A, Olivetti N, Parent X (2022) Dyadic obligations: proofs and countermodels via hypersequents. In: Aydogan R, Criado N, Lang J, S\u00e1nchez-Anguix V, Serramia M (eds) PRIMA 2022: principles and practice of multi-agent systems\u201424th international conference, vol 13753. Lecture notes in computer science. Springer, Berlin, pp 54\u201371","DOI":"10.1007\/978-3-031-21203-1_4"},{"key":"832_CR24","unstructured":"Ciabattoni A, Olivetti N, Parent X, Ramanayake R, Rozplokhas D (2023) Analytic proof theory for \u00c5qvist\u2019s system F. In: Maranh\u00e3o J, Peterson C, Stra\u00dfer C, Torre L (eds) Deontic logic and normative systems\u201416th international conference, DEON 2023. College Publications, UK, pp 79\u201398"},{"key":"832_CR25","doi-asserted-by":"crossref","unstructured":"Friedman N, Halpern JY (1994) On the complexity of conditional logics. In: Doyle J, Sandewall E, Torasso P (eds) Proceedings of the 4th international conference on principles of knowledge representation and reasoning (KR\u201994). Morgan Kaufmann, Cambridge, pp 202\u2013213","DOI":"10.1016\/B978-1-4832-1452-8.50115-9"},{"key":"832_CR26","doi-asserted-by":"crossref","unstructured":"Benzm\u00fcller C, Farjami A, Parent X (2019) \u00c5qvist\u2019s dyadic deontic logic E in HOL. IfCoLog J Log Appl (Spec Issue: Reason Legal AI) 6(5):733\u2013755","DOI":"10.29007\/t29j"},{"key":"832_CR27","first-page":"27","volume-title":"PxTP 2015","author":"C Benzm\u00fcller","year":"2015","unstructured":"Benzm\u00fcller C, Claus M, Sultana N (2015) Systematic verification of the modal logic cube in Isabelle\/HOL. In: Kaliszyk C, Paskevich A (eds) PxTP 2015, vol 186. EPTCS, Berlin, pp 27\u201341"},{"key":"832_CR28","volume-title":"Reasons and persons","author":"D Parfit","year":"1984","unstructured":"Parfit D (1984) Reasons and persons. Clarendon Press, Oxford"},{"key":"832_CR29","unstructured":"Parent X, Benzm\u00fcller C (2023) Normative conditional reasoning as a fragment of HOL. Preprint. arXiv:2308.10686"},{"key":"832_CR30","unstructured":"Pichler D, Parent X (2023) Perspectival obligation and extensionality in an alethic-deontic setting. In: Maranh\u00e3o J, Peterson C, Stra\u00dfer C, van der Torre L (eds) Deontic logic and normative systems\u201416th international conference, DEON 2023. College Publications, London, pp 57\u201377"},{"issue":"147\/148","key":"832_CR31","first-page":"239","volume":"37","author":"L Goble","year":"1994","unstructured":"Goble L (1994) Quantified deontic logic with definite descriptions. Logique et Analyse 37(147\/148):239\u2013253","journal-title":"Logique et Analyse"},{"issue":"4","key":"832_CR32","doi-asserted-by":"publisher","first-page":"407","DOI":"10.2307\/2214365","volume":"7","author":"L Goble","year":"1973","unstructured":"Goble L (1973) Opacity and the ought-to-be. No\u00fbs 7(4):407\u2013412","journal-title":"No\u00fbs"},{"issue":"3","key":"832_CR33","doi-asserted-by":"publisher","first-page":"330","DOI":"10.2307\/2216273","volume":"30","author":"L Goble","year":"1996","unstructured":"Goble L (1996) \u201cOught\u2019\u2019 and extensionality. No\u00fbs 30(3):330\u2013355","journal-title":"No\u00fbs"},{"issue":"1","key":"832_CR34","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K Segerberg","year":"1973","unstructured":"Segerberg K (1973) Two-dimensional modal logic. J Philos Log 2(1):77\u201396","journal-title":"J Philos Log"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-024-00832-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-024-00832-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-024-00832-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:24:02Z","timestamp":1730305442000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-024-00832-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,6]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["832"],"URL":"https:\/\/doi.org\/10.1007\/s13218-024-00832-1","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,6]]},"assertion":[{"value":"6 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author declares that there are no conflicts of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}