{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:59:26Z","timestamp":1725796766574},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319086149"},{"type":"electronic","value":"9783319086156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08615-6_11","type":"book-chapter","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T23:01:29Z","timestamp":1404169289000},"page":"139-148","source":"Crossref","is-referenced-by-count":8,"title":["Proof Analysis in Deontic Logics"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Orlandelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1111\/theo.12028","volume":"80","author":"J. Benthem van","year":"2014","unstructured":"van Benthem, J., Grossi, D., Fenrong, L.: Priority Structures in Deontic Logic. Theoria\u00a080, 116\u2013152 (2014)","journal-title":"Theoria"},{"key":"11_CR2","unstructured":"Calardo, E.: Non-normal Modal Logics, Quantification, and Deontic Dilemmas. Ph.D. Thesis, Universit\u00e0 di Bologna (2013)"},{"key":"11_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. CUP, Cambridge (1980)"},{"key":"11_CR4","unstructured":"Gilbert, D., Maffezioli, P.: Modular Sequent Calculi for Classical Modal Logics. Studia Logica (forthcoming)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-40948-6_10","volume-title":"Logic, Rationality, and Interaction","author":"N. Gratzl","year":"2013","unstructured":"Gratzl, N.: Sequent Calculi for Multi-modal Logic with Interaction. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol.\u00a08196, pp. 124\u2013134. Springer, Heidelberg (2013)"},{"key":"11_CR6","first-page":"189","volume":"21","author":"A. Indrzejczak","year":"2011","unstructured":"Indrzejczak, A.: Admissiblity of Cut in Congruent Modal Logics. Logic and Logical Philosophy\u00a021, 189\u2013203 (2011)","journal-title":"Logic and Logical Philosophy"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1026753129680","volume":"65","author":"R. Lavendhomme","year":"2000","unstructured":"Lavendhomme, R., Lucas, L.: Sequent Calculi and Decision Procedures for Weak Modal Systems. Studia Logica\u00a065, 121\u2013145 (2000)","journal-title":"Studia Logica"},{"key":"11_CR8","first-page":"197","volume-title":"Handbook of the History of Logic","author":"P. McNamara","year":"2006","unstructured":"McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol.\u00a07, pp. 197\u2013288. Elsevier, Amsterdam (2006)"},{"key":"11_CR9","unstructured":"Negri, S.: Extending the Scope of Labelled Sequent Calculi: the Case of Classical Counterfactuals (Abstract) (2013), \n                  \n                    http:\/\/www.lix.polytechnique.fr\/colloquium2013\/abstracts\/sarneg.pdf"},{"key":"11_CR10","first-page":"849","volume":"184","author":"S. Negri","year":"2012","unstructured":"Negri, S., Hakli, R.: Does the Deduction Theorem Fail for Modal Logic? Synthese\u00a0184, 849\u2013867 (2012)","journal-title":"Synthese"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri, S., von Plato, J.: Structural Proof Theory. CUP, Cambridge (2001)"},{"key":"11_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S. Negri","year":"2011","unstructured":"Negri, S., von Plato, J.: Proof Analysis. CUP, Cambridge (2011)"},{"key":"11_CR13","first-page":"455","volume":"7","author":"S. Valentini","year":"1993","unstructured":"Valentini, S.: The Sequent Calculus for the Modal Logic D. Bollettino dell\u2019Unione Matematica Italiana\u00a07, 455\u2013460 (1993)","journal-title":"Bollettino dell\u2019Unione Matematica Italiana"},{"key":"11_CR14","volume-title":"Reasoning about Obligations","author":"L. Torre van der","year":"1997","unstructured":"van der Torre, L.: Reasoning about Obligations. Tinbergen Institute Research Series, Amsterdam (1997)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic and Normative Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08615-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:11:51Z","timestamp":1558919511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08615-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319086149","9783319086156"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08615-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}