{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:27:42Z","timestamp":1768354062289,"version":"3.49.0"},"reference-count":42,"publisher":"Informa UK Limited","issue":"4","license":[{"start":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T00:00:00Z","timestamp":1726704000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1080\/11663081.2024.2386917","type":"journal-article","created":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T04:59:49Z","timestamp":1732251589000},"page":"561-592","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":4,"title":["Conditional normative reasoning as a fragment of HOL"],"prefix":"10.1080","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6623-9853","authenticated-orcid":false,"given":"Xavier","family":"Parent","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, Technische Universit\u00e4t Wien, Wien, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3392-3093","authenticated-orcid":false,"given":"Christoph","family":"Benzm\u00fcller","sequence":"additional","affiliation":[{"name":"Otto-Friedrich-Universit\u00e4t Bamberg, Fakult\u00e4t Wirtschaftswissenschaften und Angewandte Informatik, Universit\u00e4t Bamberg, Bamberg, Germany"},{"name":"Fachbereich Mathematik und Informatik, Freie Universit\u00e4t Berlin, Berlin, Germany"}]}],"member":"301","published-online":{"date-parts":[[2024,9,19]]},"reference":[{"key":"e_1_3_3_2_1","volume-title":"An introduction to mathematical logic and type theory","author":"Andrews P.","year":"2002","unstructured":"Andrews, P. (2002). An introduction to mathematical logic and type theory. Springer."},{"key":"e_1_3_3_3_1","volume-title":"An introduction to deontic logic and the theory of normative systems","author":"\u00c5qvist L.","year":"1987","unstructured":"\u00c5qvist, L. (1987). An introduction to deontic logic and the theory of normative systems. Bibliopolis."},{"key":"e_1_3_3_4_1","doi-asserted-by":"crossref","unstructured":"\u00c5qvist L. (2002). Deontic logic. In D. Gabbay & F. Guenthner (Eds.) Handbook of philosophical logic (2nd ed. Vol. 8 pp. 147\u2013264). Kluwer Academic Publishers. Originally published in Gabbay and\u00a0Guenthner\u00a0(1984 pp. 605\u2013714).","DOI":"10.1007\/978-94-009-6259-0_11"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.10.008"},{"key":"e_1_3_3_6_1","doi-asserted-by":"crossref","unstructured":"Benzm\u00fcller C. Claus M. & Sultana N. (2015). Systematic verification of the modal logic cube in Isabelle\/HOL. In C. Kaliszyk & A. Paskevich (Eds.) Proceedings PxTP 2015 (Vol. 186 pp. 27\u201341). EPTCS.","DOI":"10.4204\/EPTCS.186.5"},{"issue":"5","key":"e_1_3_3_7_1","first-page":"733","article-title":"\u00c5qvist's dyadic deontic logic E in HOL","volume":"6","author":"Benzm\u00fcller C.","year":"2019","unstructured":"Benzm\u00fcller, C., Farjami, A., & Parent, X. (2019). \u00c5qvist's dyadic deontic logic E in HOL. Journal of Applied Logics \u2013 IfCoLoG Journal of Logics and Their Applications (Special Issue: Reasoning for Legal AI), 6(5), 733\u2013755.","journal-title":"Journal of Applied Logics \u2013 IfCoLoG Journal of Logics and Their Applications (Special Issue: Reasoning for Legal AI)"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9320-z"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103348"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exac029"},{"key":"e_1_3_3_11_1","unstructured":"Benzm\u00fcller C. & Woltzenlogel Paleo B. (2016). The inconsistency in G\u00f6del's ontological argument: A success story for AI in metaphysics. In S. Kambhampati (Ed.) IJCAI 2016 (Vol. 1\u20133 pp. 936\u2013942). AAAI Press."},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9278-5"},{"issue":"1","key":"e_1_3_3_13_1","first-page":"101","article-title":"Hammering towards QED","volume":"9","author":"Blanchette J. C.","year":"2016","unstructured":"Blanchette, J. C., Kaliszyk, C., Paulson, L. C., & Urban, J. (2016). Hammering towards QED. Journal of Formalized Reasoning, 9(1), 101\u2013148.","journal-title":"Journal of Formalized Reasoning"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_11"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00693270"},{"key":"e_1_3_3_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_3_3_17_1","doi-asserted-by":"crossref","unstructured":"Ciabattoni A. Olivetti N. & Parent X. (2022). Dyadic obligations: Proofs and countermodels via hypersequents. In R. Aydogan N. Criado J. Lang V. S\u00e1nchez-Anguix & M. Serramia (Eds.) PRIMA 2022: Principles and Practice of Multi-Agent Systems \u2013 24th International Conference November 16-18 2022 Proceedings Vol. 13753 of Lecture Notes in Computer Science (pp. 54\u201371). Springer.","DOI":"10.1007\/978-3-031-21203-1_4"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0"},{"key":"e_1_3_3_19_1","doi-asserted-by":"crossref","unstructured":"Giordano L. Gliozzi V. & Pozzato G. L. (2007). KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning. In N. Olivetti (Ed.) Automated Reasoning with Analytic Tableaux and Related Methods (pp. 238\u2013244). Springer.","DOI":"10.1007\/978-3-540-73099-6_19"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25927-5_7"},{"issue":"1","key":"e_1_3_3_21_1","first-page":"13","article-title":"Axioms for Hansson's dyadic deontic logics","volume":"6","author":"Goble L.","year":"2019","unstructured":"Goble, L. (2019). Axioms for Hansson's dyadic deontic logics. Filosofiska Notiser, 6(1), 13\u201361.","journal-title":"Filosofiska Notiser"},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.2307\/2214372"},{"key":"e_1_3_3_23_1","volume-title":"A companion to modal logic","author":"Hughes G. E.","year":"1984","unstructured":"Hughes, G. E., & Cresswell, M. J. (1984). A companion to modal logic. Methuen."},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"e_1_3_3_25_1","volume-title":"Counterfactuals","author":"Lewis D.","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Blackwell."},{"key":"e_1_3_3_26_1","doi-asserted-by":"publisher","DOI":"10.2307\/1905751"},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01057652"},{"issue":"25","key":"e_1_3_3_28_1","first-page":"275","article-title":"Deontische logik: Die variante der lokalen \u00e4quivalenz","volume":"6","author":"Nortmann U.","year":"1986","unstructured":"Nortmann, U. (1986). Deontische logik: Die variante der lokalen \u00e4quivalenz. Erkenntnis, 6(25), 275\u2013318.","journal-title":"Erkenntnis"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9308-0"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000367"},{"key":"e_1_3_3_31_1","unstructured":"Parent X. (2021). Preference semantics for dyadic deontic logic: A survey of results. In D. Gabbay J. Horty X. Parent R. van der Meyden & L. van der Torre (Eds.) Handbook of deontic logic and normative systems (Vol. 2 pp. 1\u201370). College Publications."},{"key":"e_1_3_3_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-024-09748-5"},{"key":"e_1_3_3_33_1","doi-asserted-by":"crossref","unstructured":"Parent X. & Benzm\u00fcller C. (2024). Conditional normative reasoning as a fragment of HOL (Isabelle\/HOL dataset). Archive of Formal Proofs. Formal proof development https:\/\/isa-afp.org\/entries\/CondNormReasHOL.html","DOI":"10.1080\/11663081.2024.2386917"},{"key":"e_1_3_3_34_1","volume-title":"Introduction to deontic logic and normative systems","author":"Parent X.","year":"2021","unstructured":"Parent, X., & van der Torre, L. (2021). Introduction to deontic logic and normative systems. College Publications."},{"key":"e_1_3_3_35_1","volume-title":"Reasons and persons","author":"Parfit D.","year":"1984","unstructured":"Parfit, D. (1984). Reasons and persons. Oxford University Press."},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"e_1_3_3_37_1","doi-asserted-by":"crossref","unstructured":"Segerberg K. (1971). Some logics of commitment and obligation. In R. Hilpinen (Ed.) Deontic logic: Introductory and systematic readings (pp. 148\u2013158). Springer Netherlands.","DOI":"10.1007\/978-94-010-3146-2_6"},{"key":"e_1_3_3_38_1","doi-asserted-by":"publisher","DOI":"10.2307\/2171939"},{"key":"e_1_3_3_39_1","volume-title":"Reasoning about change: Time and causation from the standpoint of artificial intelligence","author":"Shoham Y.","year":"1988","unstructured":"Shoham, Y. (1988). Reasoning about change: Time and causation from the standpoint of artificial intelligence. MIT Press."},{"key":"e_1_3_3_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00693275"},{"key":"e_1_3_3_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-40875-5_3"},{"issue":"2","key":"e_1_3_3_42_1","first-page":"138","article-title":"Intransitivity and the mere addition paradox","volume":"16","author":"Temkin L. S.","year":"1987","unstructured":"Temkin, L. S. (1987). Intransitivity and the mere addition paradox. Philosophy and Public Affairs, 16(2), 138\u2013187.","journal-title":"Philosophy and Public Affairs"},{"key":"e_1_3_3_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0454-0_4"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2024.2386917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T16:03:20Z","timestamp":1733760200000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2024.2386917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,19]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10.1080\/11663081.2024.2386917"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2024.2386917","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,19]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-08-20","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-06-26","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-09-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}