{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T13:42:09Z","timestamp":1749130929409},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320897"},{"type":"electronic","value":"9783642320903"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32090-3_15","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T05:47:26Z","timestamp":1344577646000},"page":"170-183","source":"Crossref","is-referenced-by-count":1,"title":["An Intuitionistic Investigation of Prerequisite-Effect Structure"],"prefix":"10.1007","author":[{"given":"Katsuhiko","family":"Sano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shingo","family":"Hagiwara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Tojo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Gardner, A. (ed.) Procedings of the 10th International Conference on Artificial Intelligence and Law, pp. 25\u201334. ACM Press (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-04985-9_26","volume-title":"Rule Interchange and Applications","author":"T.F. Gordon","year":"2009","unstructured":"Gordon, T.F., Governatori, G., Rotolo, A.: Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol.\u00a05858, pp. 282\u2013296. Springer, Heidelberg (2009)"},{"key":"15_CR3","series-title":"LNAI","first-page":"153","volume-title":"JSAI-isAI 2010","author":"K. Satoh","year":"2011","unstructured":"Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.: PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In: Onoda, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS (LNAI), vol.\u00a06797, pp. 153\u2013164. Springer, Heidelberg (2011)"},{"key":"15_CR4","unstructured":"Hagiwara, S.: Multiple relations in legal documents based on intuitionistic logic. In: Proceedings of the 4th International Workshop on Juris-informatics (JURISIN 2010), pp. 41\u201350 (2010)"},{"key":"15_CR5","unstructured":"Sano, K., Hagiwara, S., Tojo, S.: Prerequisite-effect structure on intuitionistic kripke model. In: Proceedings of the Fifth International Workshop on Juris-informatics (JURISIN 2011), pp. 50\u201361 (2011)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Van Dalen, D.: Logic and Structure. Springer (2004)","DOI":"10.1007\/978-3-540-85108-0"},{"key":"15_CR7","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A.N. Prior","year":"1967","unstructured":"Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)"},{"key":"15_CR8","unstructured":"Kashima, R.: Sequent calculi of non-classical logics - Proofs of completeness theorems by sequent calculi. In: Proceedings of Mathematical Society of Japan Annual Colloquium of Foundations of Mathematics, pp. 49\u201367 (1999) (in Japanese)"},{"key":"15_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-73099-6_13","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"R. Ishigaki","year":"2007","unstructured":"Ishigaki, R., Kikuchi, K.: Tree-Sequent Methods for Subintuitionistic Predicate Logics. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol.\u00a04548, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"15_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-02261-6_29","volume-title":"Logic, Language, Information and Computation","author":"K. Sano","year":"2009","unstructured":"Sano, K.: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS (LNAI), vol.\u00a05514, pp. 365\u2013378. Springer, Heidelberg (2009)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic Journal of the IGPL\u00a018(1), 157\u2013194 (2010)","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s11787-006-0012-5","volume":"1","author":"D. Batens","year":"2007","unstructured":"Batens, D.: A universal logic approach to adaptive logics. Logica Universalis\u00a01(1), 221\u2013242 (2007)","journal-title":"Logica Universalis"},{"key":"15_CR14","unstructured":"Haeusler, E.H., De Paiva, V., Rademaker, A.: Intuitionistic logic and legal ontologies. In: Winkels, R.G. (ed.) Legal Knowledge and Information Systems - JURIX 2010: The Twenty-Third Annual Conference. Frontiers in Artificial Intelligence and Applications, vol.\u00a0223, pp. 155\u2013158 (2010)"},{"key":"15_CR15","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics. Elsevier, North-Holland (2003)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32090-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:54:47Z","timestamp":1620129287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32090-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320897","9783642320903"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32090-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}