{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T11:26:08Z","timestamp":1751109968094},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243115"},{"type":"electronic","value":"9783319243122"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24312-2_22","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T10:06:46Z","timestamp":1441879606000},"page":"323-338","source":"Crossref","is-referenced-by-count":7,"title":["M\u012bm\u0101\u1e43s\u0101 Deontic Logic: Proof Theory and Applications"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[]},{"given":"Elisa","family":"Freschi","sequence":"additional","affiliation":[]},{"given":"Francesco A.","family":"Genco","sequence":"additional","affiliation":[]},{"given":"Bj\u00f6rn","family":"Lellmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Abraham, M., Gabbay, D.M., Schild, U.: Obligations and Prohibitions in Talmudic Deontic Logic. Artificial Intelligence and Law 2-3, 117\u2013148 (2011)","DOI":"10.1007\/s10506-011-9109-0"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"22_CR3","unstructured":"Chaudhuri, S., Vardi, M.: Reasoning about machine ethics. POPL-OBT (2014)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Freschi, E.: Duty, language and exegesis in Pr\u0101bh\u0101kara M\u012bm\u0101\u1e43s\u0101. Jerusalem Studies in Religion and Culture, vol. 17, Brill (2012)","DOI":"10.1163\/9789004230248"},{"key":"22_CR6","unstructured":"Freschi, E., Ciabattoni, A., Genco, F.A., Lellmann, B.: Understanding prescriptive texts: rules and logic elaborated by the M\u012bm\u0101\u1e43s\u0101 school. International Conference on Philosophy ATINER (2015)"},{"key":"22_CR7","unstructured":"Gabbay, D.M., Horty, J., Parent, X. (eds.): Handbook of Deontic Logic and Normative Systems, vol.\u00a01. College Publications (2013)"},{"key":"22_CR8","unstructured":"Ganeri, J.: Towards a formal representation of the Navya-Ny\u0101ya technical language. In: Logic, Navya-Ny\u0101ya & Applications, pp. 109\u2013124. College Publications (2008)"},{"key":"22_CR9","unstructured":"Goble, L.: Prima facie norms, normative conflicts, and dilemmas. In: Gabbay et\u00a0al. [7], pp. 241\u2013351"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-017-1754-0_6","volume-title":"Handbook of Tableau Methods","author":"R. Gor\u00e9","year":"1999","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297\u2013398. Kluwer, Dordrecht (1999)"},{"key":"22_CR11","first-page":"159","volume-title":"The Blackwell Guide to Philosophical Logic","author":"R. Hilpinen","year":"2001","unstructured":"Hilpinen, R.: Deontic logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 159\u2013182. Blackwell, Malden (2001)"},{"issue":"3","key":"22_CR12","first-page":"151","volume":"34","author":"A. Indrzejczak","year":"2005","unstructured":"Indrzejczak, A.: Sequent calculi for monotonic modal logics. Bull. Sect. Log.\u00a034(3), 151\u2013164 (2005)","journal-title":"Bull. Sect. Log."},{"key":"22_CR13","unstructured":"Kane, P.V.: History of Dharma\u015b\u0101stra. Ancient an Mediaeval Religious and Civil Law in India, vol. 2. Bhandarkar Oriental Research Institute (1962)"},{"key":"22_CR14","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland (1952)"},{"key":"22_CR15","unstructured":"Lellmann, B.: Sequent Calculi with Context Restrictions and Applications to Conditional Logic. Ph.D. thesis, Imperial College London (2013), \n                      \n                        http:\/\/hdl.handle.net\/10044\/1\/18059"},{"key":"22_CR16","series-title":"LNCS (LNAI)","first-page":"148","volume-title":"ICLA 2013","author":"B. Lellmann","year":"2013","unstructured":"Lellmann, B., Pattinson, D.: Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic. In: Lodaya, K. (ed.) Logic and Its Applications. LNCS (LNAI), vol.\u00a07750, pp. 148\u2013160. Springer, Heidelberg (2013)"},{"key":"22_CR17","series-title":"LNCS(LNAI)","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-319-08615-6_11","volume-title":"Deontic Logic and Normative Systems","author":"E. Orlandelli","year":"2014","unstructured":"Orlandelli, E.: Proof analysis in deontic logics. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds.) DEON 2014. LNCS(LNAI), vol.\u00a08554, pp. 139\u2013148. Springer, Heidelberg (2014)"},{"key":"22_CR18","unstructured":"Stcherbatsky, T.I.: \u00dcber die Ny\u0101yaka\u1e47ik\u0101 des V\u0101caspatimi\u015bra und die indische Lehre des kategorischen Imperativ. In: Kirfel, W. (ed.) Beitr\u00e4ge zur Literaturwissenschaft und Geistesgeschichte Indiens. Festgabe Hermann Jacobi zum 75, Geburtstag, pp. 369\u2013380. Kommissionsverlag F. Klopp, Bonn (1926)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24312-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:48:37Z","timestamp":1559242117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24312-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243115","9783319243122"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24312-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}