{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T13:25:58Z","timestamp":1772717158104,"version":"3.50.1"},"reference-count":45,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T00:00:00Z","timestamp":1657497600000},"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>Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, $\\textbf {jd}$, are complete for arbitrary constant specifications. Consistency is sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes.<\/jats:p>","DOI":"10.1093\/logcom\/exac045","type":"journal-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T09:56:58Z","timestamp":1657619818000},"page":"640-664","source":"Crossref","is-referenced-by-count":4,"title":["Consistency and permission in deontic justification logic"],"prefix":"10.1093","volume":"34","author":[{"given":"Federico L G","family":"Faroldi","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bern, Bern, Switzerland, and Research Foundation , Flanders (FWO)\/Ghent University, Ghent, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meghdad","family":"Ghari","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan , PO Box 8174673441, Isfahan, Iran, and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), PO Box 19395-5746, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eveline","family":"Lehmann","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bern , Bern, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Studer","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bern , Bern, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,7,11]]},"reference":[{"key":"2024060619511854000_ref1","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1017\/S1755020315000209","article-title":"Obligation, free choice, and the logic of weakest permissions","volume":"8","author":"Anglberger","year":"2015","journal-title":"The Review of Symbolic Logic"},{"key":"2024060619511854000_ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"Bulletin of Symbolic Logic"},{"key":"2024060619511854000_ref3","doi-asserted-by":"crossref","DOI":"10.1017\/9781108348034","volume-title":"Justification Logic: Reasoning With Reasons","author":"Artemov","year":"2019"},{"key":"2024060619511854000_ref4","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11229-005-6196-z","article-title":"Free choice permission is strong permission","volume":"145","author":"Asher","year":"2005","journal-title":"Synthese"},{"key":"2024060619511854000_ref5","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1007\/s11098-016-0713-4","article-title":"Justification as faultlessness","volume":"174","author":"Beddor","year":"2017","journal-title":"Philosophical Studies"},{"key":"2024060619511854000_ref6","article-title":"On explicit counterparts of modal logics","volume-title":"Technical Report CFIS 2000\u201305","author":"Brezhnev","year":"2000"},{"key":"2024060619511854000_ref7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s10992-016-9410-1","article-title":"Quantification in some non-normal modal logics","volume":"46","author":"Calardo","year":"2017","journal-title":"Journal of Philosophical Logic"},{"key":"2024060619511854000_ref8","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-010-2191-3_3","article-title":"Conditional obligation","volume-title":"Logical Theory and Semantic Analysis","author":"Chellas","year":"1974"},{"key":"2024060619511854000_ref9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic. An Introduction","author":"Chellas","year":"1980"},{"key":"2024060619511854000_ref10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF02379748","article-title":"On paraconsistent deontic logic","volume":"16","author":"Da Costa","year":"1986","journal-title":"Philosophia"},{"key":"2024060619511854000_ref11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-981-13-7791-4_5","article-title":"Open reading and free choice permission: a perspective in substructural logics","volume-title":"Dynamics, Uncertainty and Reasoning","author":"Dong","year":"2019"},{"key":"2024060619511854000_ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-03487-0","volume-title":"Hyperintensionality and Normativity","author":"Faroldi","year":"2019"},{"key":"2024060619511854000_ref13","article-title":"All-things-considered oughts","author":"Faroldi","year":"2018"},{"key":"2024060619511854000_ref14","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/jigpal\/jzz012","article-title":"A hyperintensional logical framework for deontic reasons","volume":"27","author":"Faroldi","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2024060619511854000_ref15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-1-4020-8354-9_6","article-title":"How to say ought in foreign: the composition of weak necessity modals","volume-title":"Time and Modality","author":"von Fintel","year":"2008"},{"issue":"1","key":"2024060619511854000_ref16","doi-asserted-by":"crossref","DOI":"10.1016\/j.apal.2004.04.009","article-title":"The logic of proofs, semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"2024060619511854000_ref17","article-title":"A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox","author":"Ghari","year":"2021"},{"key":"2024060619511854000_ref18","article-title":"Is free choice permission admissible in classical deontic logic?","volume-title":"Deontic Logic and Normative Systems: 15th International Conference (DEON2020, Munich)","author":"Governatori","year":"2021"},{"key":"2024060619511854000_ref19","first-page":"195","article-title":"Varieties of permission","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Hansson","year":"2013"},{"key":"2024060619511854000_ref20","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":"2024060619511854000_ref21","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001","volume-title":"Reasons as Defaults","author":"Horty","year":"2012"},{"key":"2024060619511854000_ref22","article-title":"Should is subjunctive must","author":"Howard","year":"2021"},{"key":"2024060619511854000_ref23","article-title":"Modality for the 21st century","author":"Kratzer","year":"2013"},{"key":"2024060619511854000_ref24","first-page":"371","article-title":"On the complexity of explicit modal logics","volume-title":"Computer Science Logic, CSL 2000, Proceedings","author":"Kuznets","year":"2000"},{"key":"2024060619511854000_ref25","volume-title":"Complexity Issues in Justification Logic","author":"Kuznets","year":"2008"},{"key":"2024060619511854000_ref26","first-page":"121","article-title":"Complexity through tableaux in justification logic","volume-title":"Logic Colloquium 2008","author":"Kuznets","year":"2009"},{"key":"2024060619511854000_ref27","article-title":"Justification logic for constructive modal logic","volume-title":"IMLA 2017\u20147th Workshop on Intuitionistic Modal Logic and Applications","author":"Kuznets","year":"2017"},{"key":"2024060619511854000_ref28","first-page":"437","article-title":"Justifications, ontology, and conservativity","volume-title":"Advances in Modal Logic","author":"Kuznets","year":"2012"},{"key":"2024060619511854000_ref29","first-page":"266","article-title":"Update as evidence: belief expansion","volume-title":"LFCS 2013","author":"Kuznets","year":"2013"},{"key":"2024060619511854000_ref30","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1093\/jigpal\/jzw002","article-title":"Weak arithmetical interpretations for the logic of proofs","volume":"24","author":"Kuznets","year":"2016","journal-title":"Logic Journal of the IGPL"},{"key":"2024060619511854000_ref31","author":"Kuznets","year":"2019","journal-title":"Logics of Proofs and Justifications"},{"key":"2024060619511854000_ref32","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/978-3-662-59533-6_26","article-title":"Subset models for justification logic","volume-title":"Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2\u20135, 2019, Proceedings","author":"Lehmann","year":"2019"},{"key":"2024060619511854000_ref33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-59533-6_26","article-title":"Subset models for justification logic","author":"Lehmann","year":"2019"},{"key":"2024060619511854000_ref34","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-030-36755-8_6","article-title":"Belief expansion in subset models","volume-title":"Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4\u20137, 2020, Proceedings","author":"Lehmann","year":"2020"},{"key":"2024060619511854000_ref35","first-page":"605","article-title":"Exploring subset models for justification logic","volume-title":"Selected Topics From Contemporary Logics","author":"Lehmann","year":"2021"},{"key":"2024060619511854000_ref36","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2182983","article-title":"Moral dilemmas","volume":"71","author":"Lemmon","year":"1962","journal-title":"Philosophical Review"},{"key":"2024060619511854000_ref37","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1093\/logcom\/exy009","article-title":"Prioritized norms in formal argumentation","volume":"29","author":"Liao","year":"2018","journal-title":"Journal of Logic and Computation"},{"key":"2024060619511854000_ref38","first-page":"511","article-title":"The internalized disjunction property for intuitionistic justification logic","volume-title":"Advances in Modal Logic","author":"Marti","year":"2018"},{"key":"2024060619511854000_ref39","article-title":"Deontic logic","volume-title":"The Stanford Encyclopedia of Philosophy","author":"McNamara","year":"2019"},{"key":"2024060619511854000_ref40","first-page":"117","article-title":"A note on some explicit modal logics","volume-title":"Proceedings of the 5th Panhellenic Logic Symposium","author":"Pacuit","year":"2005"},{"key":"2024060619511854000_ref41","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-94-009-8484-4_6","article-title":"Non-Kripkean deontic logic","volume-title":"New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics","author":"Schotch","year":"1981"},{"key":"2024060619511854000_ref42","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1093\/jigpal\/jzz018","article-title":"Tracking reasons with extensions of relevant logics","volume":"27","author":"Standefer","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2024060619511854000_ref43","doi-asserted-by":"crossref","first-page":"124","DOI":"10.21146\/2074-1472-2021-27-1-124-144","article-title":"A conflict tolerant logic of explicit evidence","volume":"27","author":"Studer","year":"2021","journal-title":"Logical Investigations"},{"key":"2024060619511854000_ref44","volume-title":"Norm and Action. A Logical Inquiry","author":"von Wright","year":"1963"},{"key":"2024060619511854000_ref45","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8484-4_1","volume-title":"On the Logic of Norms and Actions","author":"von Wright","year":"1981"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/4\/640\/58142930\/exac045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/4\/640\/58142930\/exac045.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T19:52:07Z","timestamp":1717703527000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/4\/640\/6634260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,11]]},"references-count":45,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2022,7,11]]},"published-print":{"date-parts":[[2024,6,7]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac045","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":[[2022,7,11]]}}}