{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:20:10Z","timestamp":1742966410880,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031397837"},{"type":"electronic","value":"9783031397844"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-39784-4_11","type":"book-chapter","created":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T22:02:07Z","timestamp":1693260127000},"page":"178-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conditional Obligations in\u00a0Justification Logic"],"prefix":"10.1007","author":[{"given":"Federico L. G.","family":"Faroldi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atefeh","family":"Rohani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Studer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,29]]},"reference":[{"issue":"1","key":"11_CR1","first-page":"1","volume":"7","author":"S Artemov","year":"2001","unstructured":"Artemov, S.: Explicit provability and constructive semantics. BSL 7(1), 1\u201336 (2001)","journal-title":"BSL"},{"issue":"1\u20133","key":"11_CR2","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.tcs.2006.03.009","volume":"357","author":"S Artemov","year":"2006","unstructured":"Artemov, S.: Justified common knowledge. TCS 357(1\u20133), 4\u201322 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2006.03.009","journal-title":"TCS"},{"issue":"1\u20132","key":"11_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s11225-012-9387-x","volume":"100","author":"S Artemov","year":"2012","unstructured":"Artemov, S.: The ontology of justifications in the logical setting. Stud. Log. 100(1\u20132), 17\u201330 (2012). https:\/\/doi.org\/10.1007\/s11225-012-9387-x","journal-title":"Stud. Log."},{"key":"11_CR4","series-title":"Cambridge Tracts in Mathematics","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.: Justification Logic: Reasoning with Reasons. Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge (2019). https:\/\/doi.org\/10.1017\/9781108348034"},{"issue":"1","key":"11_CR5","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.: Justifications for common knowledge. Appl. Non-Classical Log. 21(1), 35\u201360 (2011). https:\/\/doi.org\/10.3166\/JANCL.21.35-60","journal-title":"Appl. Non-Classical Log."},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"RM Chisholm","year":"1963","unstructured":"Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33\u201336 (1963). https:\/\/doi.org\/10.1093\/analys\/24.2.33","journal-title":"Analysis"},{"key":"11_CR7","unstructured":"Danielsson, S.: Preference and Obligation. Studies in the Logic of Ethics. Filosofiska f\u00f6reningen (1968)"},{"key":"11_CR8","unstructured":"Faroldi, F., Ghari, M., Lehmann, E., Studer, T.: Impossible and conflicting obligations in justification logic. In: Marra, A., Liu, F., Portner, P., Van De Putte, F. (eds.) Proceedings of DEON 2020 (2020)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1093\/jigpal\/jzz011","volume":"27","author":"FLG Faroldi","year":"2019","unstructured":"Faroldi, F.L.G.: Deontic modals and hyperintensionality. Log. J. IGPL 27, 387\u2013410 (2019). https:\/\/doi.org\/10.1093\/jigpal\/jzz011","journal-title":"Log. J. IGPL"},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03487-0","volume-title":"Hyperintensionality and Normativity","author":"FLG Faroldi","year":"2019","unstructured":"Faroldi, F.L.G.: Hyperintensionality and Normativity. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-030-03487-0"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exac045","author":"FLG Faroldi","year":"2022","unstructured":"Faroldi, F.L.G., Ghari, M., Lehmann, E., Studer, T.: Consistency and permission in deontic justification logic. J. Log. Comput. (2022). https:\/\/doi.org\/10.1093\/logcom\/exac045","journal-title":"J. Log. Comput."},{"key":"11_CR12","unstructured":"Faroldi, F.L.G., Protopopescu, T.: All-things-considered ought via reasons in justification logic (2018). Preprint"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/jigpal\/jzz013","volume":"27","author":"FLG Faroldi","year":"2019","unstructured":"Faroldi, F.L.G., Protopopescu, T.: A hyperintensional logical framework for deontic reasons. Log. J. IGPL 27, 411\u2013433 (2019). https:\/\/doi.org\/10.1093\/jigpal\/jzz013","journal-title":"Log. J. IGPL"},{"issue":"1","key":"11_CR14","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.: The logic of proofs, semantically. APAL 132(1), 1\u201325 (2005). https:\/\/doi.org\/10.1016\/j.apal.2004.04.009","journal-title":"APAL"},{"issue":"3\/4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BF00255570","volume":"1","author":"BC van Fraassen","year":"1972","unstructured":"van Fraassen, B.C.: The logic of conditional obligation. J. Philos. Log. 1(3\/4), 417\u2013438 (1972)","journal-title":"J. Philos. Log."},{"key":"11_CR16","unstructured":"Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L.: Handbook of Deontic Logic and Normative System, vol. 2. College Publications (2021)"},{"issue":"4","key":"11_CR17","doi-asserted-by":"publisher","first-page":"373","DOI":"10.2307\/2214372","volume":"3","author":"B Hansson","year":"1969","unstructured":"Hansson, B.: An analysis of some deontic logics. No\u00fbs 3(4), 373\u2013398 (1969)","journal-title":"No\u00fbs"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1093\/jigpal\/jzv025","volume":"23","author":"I Kokkinis","year":"2015","unstructured":"Kokkinis, I., Maksimovi\u0107, P., Ognjanovi\u0107, Z., Studer, T.: First steps towards probabilistic justification logic. Log. J. IGPL 23(4), 662\u2013687 (2015). https:\/\/doi.org\/10.1093\/jigpal\/jzv025","journal-title":"Log. J. IGPL"},{"key":"11_CR19","unstructured":"Kuznets, R., Studer, T.: Logics of Proofs and Justifications. Studies in Logic. College Publications (2019)"},{"key":"11_CR20","first-page":"2313","volume":"8","author":"R Kuznets","year":"2021","unstructured":"Kuznets, R., Marin, S., Stra\u00dfburger, L.: Justification logic for constructive modal logic. J. Appl. Log. 8, 2313\u20132332 (2021)","journal-title":"J. Appl. Log."},{"key":"11_CR21","unstructured":"Kuznets, R., Studer, T.: Justifications, ontology, and conservativity. In: Bolander, T., Bra\u00fcner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 437\u2013458. College Publications (2012)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-662-59533-6_26","volume-title":"Logic, Language, Information, and Computation","author":"E Lehmann","year":"2019","unstructured":"Lehmann, E., Studer, T.: Subset models for justification logic. In: Iemhoff, R., Moortgat, M., de Queiroz, R. (eds.) WoLLIC 2019. LNCS, vol. 11541, pp. 433\u2013449. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-662-59533-6_26"},{"key":"11_CR23","volume-title":"Counterfactuals","author":"DK Lewis","year":"1973","unstructured":"Lewis, D.K.: Counterfactuals. Blackwell, Cambridge (1973)"},{"key":"11_CR24","series-title":"Synthese Library","first-page":"1","volume-title":"Logical Theory and Semantic Analysis","author":"DK Lewis","year":"1974","unstructured":"Lewis, D.K.: Semantic analyses for dyadic deontic logic. In: Stenlund, S., Henschen-Dahlquist, A.M., Lindahl, L., Nordenfelt, L., Odelstad, J. (eds.) Logical Theory and Semantic Analysis. Synthese Library, vol. 63, pp. 1\u201314. Springer, Dordrecht (1974)"},{"key":"11_CR25","unstructured":"Parent, X., van der Torre, L.: Introduction to Deontic Logic and Normative Systems. Texts in Logic and Reasoning. College Publications (2018)"},{"issue":"3","key":"11_CR26","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1093\/jigpal\/jzp050","volume":"18","author":"X Parent","year":"2010","unstructured":"Parent, X.: A complete axiom set for Hansson\u2019s deontic logic DSDL2. Log. J. IGPL 18(3), 422\u2013429 (2010). https:\/\/doi.org\/10.1093\/jigpal\/jzp050","journal-title":"Log. J. IGPL"},{"issue":"6","key":"11_CR27","doi-asserted-by":"publisher","first-page":"1101","DOI":"10.1007\/s10992-013-9308-0","volume":"43","author":"X Parent","year":"2013","unstructured":"Parent, X.: Maximality vs. optimality in dyadic deontic logic. J. Philos. Log. 43(6), 1101\u20131128 (2013). https:\/\/doi.org\/10.1007\/s10992-013-9308-0","journal-title":"J. Philos. Log."},{"issue":"1","key":"11_CR28","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1017\/S1755020314000367","volume":"8","author":"X Parent","year":"2015","unstructured":"Parent, X.: Completeness of \u00c5qvist\u2019s systems E and F. Rev. Symb. Log. 8(1), 164\u2013177 (2015). https:\/\/doi.org\/10.1017\/S1755020314000367","journal-title":"Rev. Symb. Log."},{"key":"11_CR29","unstructured":"Renne, B.: Dynamic epistemic logic with justification. Ph.D. thesis, City University of New York (2008)"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-030-88853-4_5","volume-title":"Logic, Language, Information, and Computation","author":"A Rohani","year":"2021","unstructured":"Rohani, A., Studer, T.: Explicit non-normal modal logic. In: Silva, A., Wassermann, R., de Queiroz, R. (eds.) WoLLIC 2021. LNCS, vol. 13038, pp. 64\u201381. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88853-4_5"},{"key":"11_CR31","unstructured":"Rohani, A., Studer, T.: Explicit non-normal modal logic. J. Log. Comput. (in print)"},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"388","DOI":"10.2178\/jsl.7802030","volume":"78","author":"T Studer","year":"2013","unstructured":"Studer, T.: Decidability for some justification logics with negative introspection. JSL 78(2), 388\u2013402 (2013). https:\/\/doi.org\/10.2178\/jsl.7802030","journal-title":"JSL"},{"key":"11_CR33","doi-asserted-by":"publisher","first-page":"1259","DOI":"10.1007\/s11229-019-02104-0","volume":"198","author":"C Xu","year":"2021","unstructured":"Xu, C., Wang, Y., Studer, T.: A logic of knowing why. Synthese 198, 1259\u20131285 (2021)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-39784-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T13:06:22Z","timestamp":1701176782000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-39784-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031397837","9783031397844"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-39784-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"29 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Halifax, NS","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"49% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4.6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}