{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:27Z","timestamp":1740122487900,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["UMO-2014\/15\/G\/HS1\/04514"],"award-info":[{"award-number":["UMO-2014\/15\/G\/HS1\/04514"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"name":"The John Paul II Catholic University of Lublin"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2021,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one\u2014a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the<jats:inline-formula><jats:alternatives><jats:tex-math>$$n\\mathcal {C}+$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mrow><mml:mi>n<\/mml:mi><mml:mi>C<\/mml:mi><mml:mo>+<\/mml:mo><\/mml:mrow><\/mml:math><\/jats:alternatives><\/jats:inline-formula>framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are based on the requirement of cooperation in the realisation of the goals of the agent that has a right. If the right of an agent cannot be fulfilled without an action of another agent, then that action is obligatory for that agent. If there are many potential contributors who are individually allowed to refuse, then the last of them is obliged to help when all the others have already refused. By means of formalisation this account of the relation under consideration is precisely expressed and shown consistent.<\/jats:p>","DOI":"10.1007\/s10506-020-09279-9","type":"journal-article","created":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T11:03:34Z","timestamp":1606907014000},"page":"395-415","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Who is obliged when many are involved? Labelled transition system modelling of how obligation arises"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5413-3886","authenticated-orcid":false,"given":"Piotr","family":"Kulicki","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4042-9947","authenticated-orcid":false,"given":"Robert","family":"Trypuz","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3706-1419","authenticated-orcid":false,"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,2]]},"reference":[{"key":"9279_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: agents and choices in our indeterminist world","author":"N Belnap","year":"2001","unstructured":"Belnap N (2001) Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford"},{"key":"9279_CR2","doi-asserted-by":"crossref","unstructured":"Broersen JM (2008) A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni M, Son TC, van Riemsdijk MB, Winikoff M (eds) Declarative agent languages and technologies VI, 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised selected and invited papers, volume 5397 of lecture notes in computer science. Springer, Berlin, pp 47\u201359","DOI":"10.1007\/978-3-540-93920-7_4"},{"key":"9279_CR3","first-page":"75","volume-title":"A stit logic analysis of morally lucky and legally lucky action outcomes","author":"JM Broersen","year":"2014","unstructured":"Broersen JM (2014) A stit logic analysis of morally lucky and legally lucky action outcomes. Springer, Cham, pp 75\u201398"},{"issue":"1","key":"9279_CR4","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF00370673","volume":"57","author":"J Carmo","year":"1996","unstructured":"Carmo J, Jones AJI (1996) Deontic database contraints, violation and recovery. Studia Logica 57(1):139\u2013165","journal-title":"Studia Logica"},{"issue":"2","key":"9279_CR5","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R Craven","year":"2008","unstructured":"Craven R, Sergot MJ (2008) Agent strands in the action language nC+. J Appl Logic 6(2):172\u2013191","journal-title":"J Appl Logic"},{"key":"9279_CR6","doi-asserted-by":"crossref","unstructured":"Dong H, Roy O (2017) Dynamic logic of power and immunity. In: International workshop on logic, rationality and interaction. Springer, Berlin, pp 123\u2013136","DOI":"10.1007\/978-3-662-55665-8_9"},{"key":"9279_CR7","first-page":"195","volume-title":"Handbook of deontic logic and normative systems","author":"SO Hansson","year":"2013","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, vol 1. College Publications, London, pp 195\u2013240"},{"key":"9279_CR8","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/785533","volume":"23","author":"W Hohfeld","year":"1913","unstructured":"Hohfeld W (1913) Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J 23:16\u201359","journal-title":"Yale Law J"},{"key":"9279_CR9","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and deontic logic","author":"JF Horty","year":"2001","unstructured":"Horty JF (2001) Agency and deontic logic. Oxford University Press, Oxford"},{"issue":"4","key":"9279_CR10","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1017\/S1755020317000016","volume":"10","author":"JF Horty","year":"2017","unstructured":"Horty JF, Pacuit E (2017) Action types in STIT semantics. Rew Symb Logic 10(4):617\u2013637","journal-title":"Rew Symb Logic"},{"key":"9279_CR11","unstructured":"Lorini E, Schwarzentruber F (2017) A path in the jungle of logics for multi-agent system: on the relation between general game-playing logics and seeing-to-it-that logics. In: Larson K, Winikoff M, Das S, Durfee EH (eds) Proceedings of the 16th conference on autonomous agents and multiagent systems, AAMAS 2017, S\u00e3o Paulo, Brazil, May 8\u201312, 2017. ACM, pp 687\u2013695"},{"issue":"4","key":"9279_CR12","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D Makinson","year":"1986","unstructured":"Makinson D (1986) On the formal representation of rights relations. J Philos Logic 15(4):403\u2013425","journal-title":"J Philos Logic"},{"issue":"1","key":"9279_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11225-019-09870-5","volume":"108","author":"R Markovich","year":"2020","unstructured":"Markovich R (2020) Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences. Stud Logica 108(1):129\u2013158","journal-title":"Stud Logica"},{"key":"9279_CR14","unstructured":"Mill JS (1979) Utilitarianism. Fount, Glasgow (1861)"},{"key":"9279_CR15","unstructured":"Sergot MJ (2008) The logic of unwitting collective agency. Technical report, Department of Computing, Imperial College London"},{"key":"9279_CR16","first-page":"353","volume-title":"Handbook of deontic logic and normative systems","author":"M Sergot","year":"2013","unstructured":"Sergot M (2013) Normative positions. In: Gabbay D, Horty J, Parent X, Meyden R, van\u00a0der Torre L (eds) Handbook of deontic logic and normative systems, vol 1. College Publications, London, pp 353\u2013406"},{"key":"9279_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-319-01754-9_11","volume-title":"Nuel Belnap on indeterminism and free action, volume 2 of outstanding contributions to logic","author":"M Sergot","year":"2014","unstructured":"Sergot M (2014) Some examples formulated in a \u2019seeing to it that\u2019 logic: illustrations, observations, problems. In: M\u00fcller T (ed) Nuel Belnap on indeterminism and free action, volume 2 of outstanding contributions to logic. Springer, Berlin, pp 223\u2013256"},{"key":"9279_CR18","doi-asserted-by":"crossref","unstructured":"Sergot MJ, Craven R (2006) The deontic component of action language nC+. In: Deontic logic and artificial normative systems, proceedings of the 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12\u201314, 2006. pp 222\u2013237","DOI":"10.1007\/11786849_19"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-020-09279-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-020-09279-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-020-09279-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T11:44:12Z","timestamp":1723981452000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-020-09279-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,2]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["9279"],"URL":"https:\/\/doi.org\/10.1007\/s10506-020-09279-9","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2020,12,2]]},"assertion":[{"value":"5 November 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 December 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}