{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:57:25Z","timestamp":1757451445324},"reference-count":37,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,6,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This article provides a systematic analysis of the well-known notions of weak and strong permission in input\/output (I\/O) logic. We extend the account of permission initially put forward by Makinson and Van der Torre to the whole family of I\/O systems developed during the last two decades. The main contribution is a series of characterization results for strong permission, based on establishing the so-called non-repetition property. We also study an input\/output logic not yet covered in the literature. It supports reasoning by cases\u2014a natural feature of human reasoning. The output is not closed under logical entailment. At the same time, it avoids excess output using a consistency check\u2014a technique familiar from non-monotonic logic. This makes it well suited for contrary-to-duty reasoning. The axiomatic characterization is in terms of a generalized OR rule. We discuss the implications of all this for our understanding of the notion of the coherence of a normative system. Topics for future research are identified.1<\/jats:p>","DOI":"10.1093\/logcom\/exad024","type":"journal-article","created":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T05:51:52Z","timestamp":1685598712000},"page":"728-763","source":"Crossref","is-referenced-by-count":3,"title":["Permissive and regulative norms in deontic logic"],"prefix":"10.1093","volume":"34","author":[{"given":"Maya","family":"Olszewski","sequence":"first","affiliation":[{"name":"Technological University of Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Parent","sequence":"additional","affiliation":[{"name":"Technological University of Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"Van der Torre","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,5,31]]},"reference":[{"key":"2024060619513247800_ref1","first-page":"1","article-title":"Cumulative aggregation","volume-title":"Deontic Logic and Normative Systems","author":"Ambrossio","year":"2016"},{"key":"2024060619513247800_ref2","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10506-007-9059-8","article-title":"Institutions with a hierarchy of authorities in distributed dynamic environments","volume":"16","author":"Boella","year":"2008","journal-title":"Artificial Intelligence and Law"},{"key":"2024060619513247800_ref3","volume-title":"Handbook of Normative Multiagent Systems","author":"Chopra","year":"2018"},{"key":"2024060619513247800_ref4","volume-title":"Discursive Input\/Output Logic: Deontic Modals, and Computation.","author":"Farjami","year":"2020"},{"key":"2024060619513247800_ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4570-8","volume-title":"Doing the Best We Can: An Essay in Informal Deontic Logic","author":"Feldman","year":"1986"},{"key":"2024060619513247800_ref6","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-007-7759-0_14","article-title":"Reasoning about permission and obligation","volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"Hansen","year":"2014"},{"key":"2024060619513247800_ref7","article-title":"Ten philosophical problems in deontic logic","volume-title":"Normative Multi-Agent Systems","author":"Hansen","year":"2007"},{"key":"2024060619513247800_ref8","first-page":"195","article-title":"The varieties of permission","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Hansson","year":"2013"},{"key":"2024060619513247800_ref9","first-page":"3","article-title":"Deontic logic: A historical survey and introduction","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Hilpinen","year":"2013"},{"key":"2024060619513247800_ref10","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF00666538","article-title":"Imperatives and logic","volume":"7","author":"J\u00f8rgensen","year":"1937","journal-title":"Erkenntnis"},{"key":"2024060619513247800_ref11","first-page":"147","article-title":"From input\/output logics to conditional logics via sequents - with provers","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021","author":"Lellmann","year":"2021"},{"key":"2024060619513247800_ref12","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10506-020-09278-w","article-title":"M\u012b-m\u0101${m} $s\u0101 deontic reasoning using specificity: A proof theoretic approach","volume":"29","author":"Lellmann","year":"2021","journal-title":"Artificial Intelligence and Law"},{"key":"2024060619513247800_ref13","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-642-33353-8_25","article-title":"Sequent systems for Lewis\u2019 conditional logics","volume-title":"Logics in Artificial Intelligence","author":"Lellmann","year":"2012"},{"key":"2024060619513247800_ref14","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","article-title":"Input\/output logics","volume":"29","author":"Makinson","year":"2000","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619513247800_ref15","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","article-title":"Constraints for input\/output logics","volume":"30","author":"Makinson","year":"2001","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619513247800_ref16","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","article-title":"Permission from an input\/output perspective","volume":"32","author":"Makinson","year":"2003","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619513247800_ref17","doi-asserted-by":"crossref","first-page":"121","DOI":"10.2307\/2025665","article-title":"Moral dilemmas and consistency","volume":"77","author":"Marcus","year":"1980","journal-title":"The Journal of Philosophy"},{"key":"2024060619513247800_ref18","article-title":"Input\/output logic with a consistency check - the case of permission","volume-title":"Deontic Logic and Normative Systems. DEON 2020\/2021","author":"Olszewski","year":"2021"},{"key":"2024060619513247800_ref19","first-page":"2349","article-title":"A modal characterisation of an intuitionistic I\/O operation","volume":"8","author":"Parent","year":"2021","journal-title":"FLAP"},{"key":"2024060619513247800_ref20","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-94-007-7759-0_13","article-title":"Intuitionistic basis for input\/output logic","volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"Parent","year":"2014"},{"key":"2024060619513247800_ref21","first-page":"499","article-title":"Input\/output logic","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Parent","year":"2013"},{"key":"2024060619513247800_ref22","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-319-08615-6_12","article-title":"Sing and dance","volume-title":"Deontic Logic and Normative Systems, DEON 2014","author":"Parent","year":"2014"},{"key":"2024060619513247800_ref23","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1145\/3086512.3086529","article-title":"The pragmatic oddity in norm-based deontic logics","volume-title":"Proceedings of the 16th Edition of the International Conference on Articial Intelligence and Law","author":"Parent","year":"2017"},{"key":"2024060619513247800_ref24","first-page":"305","article-title":"Detachment in normative systems: examples, inference patterns, properties","volume-title":"Handbook of Normative Multiagent Systems","author":"Parent","year":"2018"},{"key":"2024060619513247800_ref25","volume-title":"Introduction to Deontic Logic and Normative Systems.","author":"Parent","year":"2018"},{"key":"2024060619513247800_ref26","first-page":"285","article-title":"I\/O logics with a consistency check","volume-title":"Deontic Logic and Normative Systems","author":"Parent","year":"2018"},{"key":"2024060619513247800_ref27","first-page":"189","article-title":"Input\/output logics without weakening","volume":"6","author":"Parent","year":"2019","journal-title":"Filosofiska Notiser"},{"key":"2024060619513247800_ref28","doi-asserted-by":"crossref","first-page":"9780","DOI":"10.1609\/aaai.v33i01.33019780","article-title":"Meaningful explanations of black box AI decision systems","volume":"33","author":"Pedreschi","year":"2019","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"2024060619513247800_ref29","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-94-015-8851-5_10","article-title":"Dyadic deontic logic and contrary-to-duty obligations","volume-title":"Defeasible Deontic Logic","author":"Prakken","year":"1997"},{"key":"2024060619513247800_ref30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"2024060619513247800_ref31","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.jal.2010.01.001","article-title":"A theory of permission based on the notion of derogation","volume":"8","author":"Stolpe","year":"2010","journal-title":"Journal of Applied Logic"},{"key":"2024060619513247800_ref32","first-page":"358","article-title":"Abstract normative systems: semantics and proof theory","volume-title":"Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning","author":"Tosatto","year":"2012"},{"key":"2024060619513247800_ref33","first-page":"16","article-title":"Visualizing normative systems: an abstract approach","volume-title":"Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16\u201318, 2012. Proceedings","author":"Tosatto","year":"2012"},{"key":"2024060619513247800_ref34","article-title":"The gentle murder paradox in sanskrit philosophy","volume-title":"Deontic Logic and Normative Systems, DEON2021","author":"van Berkel","year":"2021"},{"key":"2024060619513247800_ref35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","article-title":"Deontic logic","volume":"60","author":"von Wright","year":"1951.","journal-title":"Mind"},{"key":"2024060619513247800_ref36","volume-title":"Logical Studies","author":"von Wright","year":"1957"},{"key":"2024060619513247800_ref37","volume-title":"Norm and Action: A Logical Enquiry","author":"von Wright","year":"1963"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/4\/728\/58142974\/exad024.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/4\/728\/58142974\/exad024.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T19:52:46Z","timestamp":1717703566000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/4\/728\/7185562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":37,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2023,5,31]]},"published-print":{"date-parts":[[2024,6,7]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exad024","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,6]]},"published":{"date-parts":[[2023,5,31]]}}}