{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T22:42:08Z","timestamp":1778712128102,"version":"3.51.4"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,3,16]],"date-time":"2023-03-16T00:00:00Z","timestamp":1678924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,16]],"date-time":"2023-03-16T00:00:00Z","timestamp":1678924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100006115","name":"Institute for Research in Fundamental Sciences","doi-asserted-by":"publisher","award":["1401030416"],"award-info":[{"award-number":["1401030416"]}],"id":[{"id":"10.13039\/501100006115","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s10506-023-09351-0","type":"journal-article","created":{"date-parts":[[2023,3,16]],"date-time":"2023-03-16T12:03:02Z","timestamp":1678968182000},"page":"325-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1306-9843","authenticated-orcid":false,"given":"Meghdad","family":"Ghari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,16]]},"reference":[{"key":"9351_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.2307\/2214624","volume":"1","author":"L Aqvis","year":"1967","unstructured":"Aqvis L (1967) Good samaritans, contrary-to-duty imperatives, and epistemic obligations. Nous 1:361\u2013379. https:\/\/doi.org\/10.2307\/2214624","journal-title":"Nous"},{"key":"9351_CR2","unstructured":"Aqvist L (1995) The Protagoras case: an exercise in elementary logic for lawyers. In: Bjarup J, Blegvad M (eds) Time, Law, and Society, ARSP-Beiheft 64, pp 73\u201384. Franz Steiner Verlag Stuttgart"},{"key":"9351_CR3","unstructured":"Artemov S (1995) Operational modal logic. Technical Report MSI 95\u201329, Cornell University"},{"key":"9351_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S Artemov","year":"2001","unstructured":"Artemov S (2001) Explicit provability and constructive semantics. Bull Symb Log 7:1\u201336","journal-title":"Bull Symb Log"},{"key":"9351_CR5","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S Artemov","year":"2008","unstructured":"Artemov S (2008) The logic of justification. The Review of Symbolic Logic 1:477\u2013513. https:\/\/doi.org\/10.1017\/S1755020308090060","journal-title":"The Review of Symbolic Logic"},{"key":"9351_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/9781108348034","volume-title":"Justification logic: reasoning with reasons","author":"S Artemov","year":"2019","unstructured":"Artemov S, Fitting M (2019) Justification logic: reasoning with reasons. Cambridge University Press, Cambridge. https:\/\/doi.org\/10.1017\/9781108348034"},{"key":"9351_CR7","unstructured":"Artemov S, Fitting M (2021) Justification logic. http:\/\/plato.stanford.edu\/archives\/fall2012\/entries\/logic-justification\/"},{"key":"9351_CR8","unstructured":"Bucheli S (2015) Some notes on temporal justification logic. CoRR arXiv:1510.07247"},{"key":"9351_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3166\/JANCL.21.35-60","volume":"21","author":"S Bucheli","year":"2011","unstructured":"Bucheli S, Kuznets R, Studer T (2011) Justifications for common knowledge. J Appl Non-Class Log 21:35\u201360. https:\/\/doi.org\/10.3166\/JANCL.21.35-60","journal-title":"J Appl Non-Class Log"},{"key":"9351_CR10","doi-asserted-by":"publisher","unstructured":"Bucheli S, Ghari M, Studer T (2017) Temporal justification logic. In: Ghosh S, Ramanujam R (eds) Electronic Proceedings in Theoretical Computer Science 243:59\u201374. https:\/\/doi.org\/10.4204\/EPTCS.243.5","DOI":"10.4204\/EPTCS.243.5"},{"key":"9351_CR11","first-page":"79","volume":"51","author":"G Carneiro","year":"2019","unstructured":"Carneiro G (2019) The logic of normative justification. Felsefe Arkivi 51:79\u2013115","journal-title":"Felsefe Arkivi"},{"key":"9351_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge"},{"key":"9351_CR13","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/jigpal\/jzz012","volume":"27","author":"FLG Faroldi","year":"2019","unstructured":"Faroldi FLG, Protopopescu T (2019) A hyperintensional logical framework for deontic reasons. Log J IGPL 27:411\u2013433. https:\/\/doi.org\/10.1093\/jigpal\/jzz012","journal-title":"Log J IGPL"},{"key":"9351_CR14","unstructured":"Faroldi FLG, Ghari M, Lehmann E, Studer T (2021) Impossible and conflicting obligations in justification logic. In: Liu FVDPF, Marra A, Portner P (eds) Deontic Logic and Normative Systems (DEON2020\/2021), College Publications, Rickmansworth, pp 151\u2013165"},{"key":"9351_CR15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exac045","author":"FLG Faroldi","year":"2022","unstructured":"Faroldi FLG, Ghari M, Lehmann E, Studer T (2022) Consistency and permission in deontic justification logic. J Log Comput. https:\/\/doi.org\/10.1093\/logcom\/exac045","journal-title":"J Log Comput"},{"key":"9351_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M Fitting","year":"2005","unstructured":"Fitting M (2005) The logic of proofs, semantically. Ann Pure Appl Log 132:1\u201325. https:\/\/doi.org\/10.1016\/j.apal.2004.04.009","journal-title":"Ann Pure Appl Log"},{"key":"9351_CR17","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.apal.2016.03.005","volume":"167","author":"M Fitting","year":"2016","unstructured":"Fitting M (2016) Modal logics, justification logics, and realization. Ann Pure Appl Log 167:615\u2013648. https:\/\/doi.org\/10.1016\/j.apal.2016.03.005","journal-title":"Ann Pure Appl Log"},{"key":"9351_CR18","unstructured":"French T, van\u00a0der Meyden R, Reynolds M (2005) Axioms for logics of knowledge and past time: synchrony and unique initial states. In: Advances in modal logic. Vol. 5, pp 53\u201372. King\u2019s College Publications, London"},{"key":"9351_CR19","doi-asserted-by":"crossref","unstructured":"Gabbay DM, Hodkinson I, Reynolds M (1994) Temporal logic (vol 1): mathematical foundations and computational aspects. Oxford University Press Inc., ISBN 0-19-853769-7","DOI":"10.1093\/oso\/9780198537694.003.0001"},{"key":"9351_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00224-013-9492-x","volume":"55","author":"M Ghari","year":"2014","unstructured":"Ghari M (2014) Distributed knowledge justification logics. Theory Comput Syst 55:1\u201340. https:\/\/doi.org\/10.1007\/s00224-013-9492-x","journal-title":"Theory Comput Syst"},{"key":"9351_CR21","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.apal.2016.08.006","volume":"168","author":"M Ghari","year":"2017","unstructured":"Ghari M (2017) Labeled sequent calculus for justification logics. Ann Pure Appl Log 168:72\u2013111. https:\/\/doi.org\/10.1016\/j.apal.2016.08.006","journal-title":"Ann Pure Appl Log"},{"key":"9351_CR22","unstructured":"Ghari M (2018) Linear temporal justification logics with past operators. arXiv:1809.00167"},{"key":"9351_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/JIGPAL\/JZAB027","volume":"31","author":"M Ghari","year":"2023","unstructured":"Ghari M (2023) Linear temporal justification logics with past and future time modalities. Log J IGPL 31:1\u201338. https:\/\/doi.org\/10.1093\/JIGPAL\/JZAB027","journal-title":"Log J IGPL"},{"key":"9351_CR24","unstructured":"Glavanicova D, Pascucci M (2021) Axiomatizing norms across time and the \u2018paradox of the court\u2019. In: Liu FVDPF, Marra A, Portner P (eds) Deontic Logic and Normative Systems (DEON2020\/2021), College Publications, Rickmansworth, pp 201\u2013218"},{"key":"9351_CR25","unstructured":"Goble L (2013) Prima facie norms, normative conflicts, and dilemmas. In: Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) Handbook of deontic logic and normative systems. College Publications, pp 241\u2013351"},{"key":"9351_CR26","unstructured":"Goldblatt R (1992) Logics of time and computation. In: Center for the study of language and information, 2nd edn"},{"key":"9351_CR27","first-page":"67","volume":"20","author":"WK Goossens","year":"1977","unstructured":"Goossens WK (1977) Eulathus and protagoras. Logique Et Analyse 20:67\u201375","journal-title":"Eulathus and protagoras. Logique Et Analyse"},{"key":"9351_CR28","doi-asserted-by":"crossref","unstructured":"Gore R (1999) Tableau methods for modal and temporal logics. In: D\u2019Agostino M, Gabbay DM, Hahnle R, Posegga J (eds) Handbook of Tableau Methods, pp 297\u2013396. Springer Netherlands","DOI":"10.1007\/978-94-017-1754-0_6"},{"key":"9351_CR29","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"JY Halpern","year":"2004","unstructured":"Halpern JY, van der Meyden R, Vardi MY (2004) Complete axiomatizations for reasoning about knowledge and time. SIAM J Comput 33:674\u2013703. https:\/\/doi.org\/10.1137\/S0097539797320906","journal-title":"SIAM J Comput"},{"key":"9351_CR30","unstructured":"Hansson SO (2013) Alternative semantics for deontic logic. In: Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) Handbook of deontic logic and normative systems. College Publications, pp 445\u2013497"},{"key":"9351_CR31","unstructured":"Hansson SO (2013) The varieties of permission. In: Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) Handbook of deontic logic and normative systems. College Publications, pp 195\u2013240"},{"key":"9351_CR32","unstructured":"Hilpinen R, McNamara P (2013) Deontic logic: a historical survey and introduction. In: Gabbay D, Horty J, Parent X, van der Meyden R, van der Torre L (eds) Handbook of deontic logic and normative systems. College Publications, pp 3\u2013136"},{"key":"9351_CR33","unstructured":"Jankowski B (2015) The Rhetor\u2019s dilemma: Leibniz\u2019s approach to an ancient case. In: Armgardt M, Canivez P, Chassagnard-Pinet S (eds) Past and Present Interactions in Legal Reasoning and Logic, pp 95\u2013106. Springer International Publishing, Cham"},{"key":"9351_CR34","unstructured":"Kuznets R, Studer T (2012) Justifications, ontology, and conservativity. In: Bolander T, Brauner T, Ghilardi S, Moss L (eds) Advances in Modal Logic, vol 9, pp 437\u2013458. College Publications"},{"key":"9351_CR35","volume-title":"Logics of proofs and justifications","author":"R Kuznets","year":"2019","unstructured":"Kuznets R, Studer T (2019) Logics of proofs and justifications. College Publications, Rickmansworth"},{"key":"9351_CR36","first-page":"164","volume":"19","author":"W Lenzen","year":"1977","unstructured":"Lenzen W (1977) Protagoras contra euathlus betrachtungen zu einer sogenannten paradoxie. Ration 19:164\u2013176","journal-title":"Ration"},{"key":"9351_CR37","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","author":"O Lichtenstein","year":"2000","unstructured":"Lichtenstein O, Pnueli A (2000) Propositional temporal logics: decidability and completeness. Log J IGPL 8:55\u201385. https:\/\/doi.org\/10.1093\/jigpal\/8.1.55","journal-title":"Log J IGPL"},{"key":"#cr-split#-9351_CR38.1","doi-asserted-by":"crossref","unstructured":"Lichtenstein O, Pnueli A, Zuck LD (1985) The glory of the past. In: Parikh R","DOI":"10.1007\/3-540-15648-8_16"},{"key":"#cr-split#-9351_CR38.2","unstructured":"(ed) Logics of Programs. Logic of Programs 1985. Lecture Notes in Computer Science, vol 193. Springer, Berlin, Heidelberg"},{"key":"9351_CR39","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A Lomuscio","year":"2003","unstructured":"Lomuscio A, Sergot M (2003) Deontic interpreted systems. Stud Log 75:63\u201392. https:\/\/doi.org\/10.1023\/A:1026176900459","journal-title":"Stud Log"},{"key":"9351_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1476-2","volume-title":"Paradoxes","author":"P Lukowski","year":"2011","unstructured":"Lukowski P (2011) Paradoxes. Springer, Netherlands"},{"key":"9351_CR41","first-page":"327","volume":"59","author":"R Moore","year":"1973","unstructured":"Moore R (1973) Legal permission. Arch Philos Law Soc Philos 59:327\u2013346","journal-title":"Arch Philos Law Soc Philos"},{"key":"9351_CR42","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s11229-005-3877-6","volume":"149","author":"E Pacuit","year":"2006","unstructured":"Pacuit E, Parikh R, Cogan E (2006) The logic of knowledge based obligation. Synthese 149:311\u2013341. https:\/\/doi.org\/10.1007\/s11229-005-3877-6","journal-title":"Synthese"},{"key":"9351_CR43","doi-asserted-by":"crossref","unstructured":"Rohani A, Studer T (2021) Explicit non-normal modal logic. In: Silva A, Wassermann R, de Queiroz R (eds) Logic, Language, Information, and Computation - WoLLIC 2021, volume 13038 of LNCS, pages 64\u201381. Springer","DOI":"10.1007\/978-3-030-88853-4_5"},{"key":"9351_CR44","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/s00224-007-9057-y","volume":"43","author":"TY Sidon","year":"2008","unstructured":"Sidon TY (2008) Interacting explicit evidence systems. Theory Comput Syst 43:272\u2013293. https:\/\/doi.org\/10.1007\/s00224-007-9057-y","journal-title":"Theory Comput Syst"},{"key":"9351_CR45","unstructured":"Smullyan R (1978) What is the Name of this book?: The riddle of Dracula and other logical puzzles. Englewood Cliffs, NJ"},{"key":"9351_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1755-2567.1987.tb00698.x","volume":"53","author":"JH Sobel","year":"1987","unstructured":"Sobel JH (1987) The law student and his teacher. Theoria 53:1\u201318","journal-title":"Theoria"},{"key":"9351_CR47","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1093\/JIGPAL\/JZZ018","volume":"27","author":"S Standefer","year":"2019","unstructured":"Standefer S (2019) Tracking reasons with extensions of relevant logics. Log J IGPL 27:543\u2013569. https:\/\/doi.org\/10.1093\/JIGPAL\/JZZ018","journal-title":"Log J IGPL"},{"key":"9351_CR48","doi-asserted-by":"crossref","unstructured":"Thomason RH (1981) Deontic logic as founded on tense logic. In: Hilpinen R (ed) New studies in deontic logic. Synthese Library, vol 152. Springer, Dordrecht","DOI":"10.1007\/978-94-009-8484-4_7"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-023-09351-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-023-09351-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-023-09351-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T14:52:53Z","timestamp":1729090373000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-023-09351-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,16]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["9351"],"URL":"https:\/\/doi.org\/10.1007\/s10506-023-09351-0","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,16]]},"assertion":[{"value":"15 February 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}