{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:30Z","timestamp":1725475890123},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_27","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"341-351","source":"Crossref","is-referenced-by-count":0,"title":["Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge Univ. Press, Cambridge (1980)"},{"key":"27_CR2","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Synthese Library, vol.\u00a0169. D. Reidel, Dordrecht (1983)"},{"key":"27_CR3","doi-asserted-by":"crossref","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, Gabbay, H\u00e4hnle, Posegga (eds.) Handbook of Tableau Methods, pp. 297\u2013396. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"27_CR4","first-page":"3","volume":"8","author":"K.J.J. Hintikka","year":"1955","unstructured":"Hintikka, K.J.J.: Form and content in quantification theory. Acta Philosophica Fennica\u00a08, 3\u201355 (1955)","journal-title":"Acta Philosophica Fennica"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/3-540-61377-3_46","volume-title":"Computer Science Logic","author":"J. Hudelmaier","year":"1996","unstructured":"Hudelmaier, J.: Improved decision procedures for the modal logics K, T, S4. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol.\u00a01092, pp. 320\u2013334. Springer, Heidelberg (1996)"},{"key":"27_CR6","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1968","unstructured":"Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen, London (1968)"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical analysis of modal logic, i. normal modal propositional calculus. Z. Math. Logic Grundlag\u00a09, 67\u201396 (1963)","journal-title":"Z. Math. Logic Grundlag"},{"key":"27_CR8","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1007\/3-540-58156-1_52","volume-title":"Automated Deduction - CADE-12","author":"F. Massacci","year":"1994","unstructured":"Massacci, F.: Strongly analytic tableaux for normal modal logics. In: Bundy, A. (ed.) CADE 1994. LNCS (LNAI), vol.\u00a0814, pp. 723\u2013737. Springer, Heidelberg (1994)"},{"key":"27_CR9","unstructured":"Nguyen, L.A.: Clausal tableau systems and space bounds for the modal logics K, KD, T, KB, KDB, and B. Technical Report TR 00-01(261), Warsaw University (2000)"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00249258","volume":"12","author":"W. Rautenberg","year":"1983","unstructured":"Rautenberg, W.: Modal tableau calculi and interpolation. Journal of Philosophical Logic\u00a012, 403\u2013423 (1983)","journal-title":"Journal of Philosophical Logic"}],"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\/10722086_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:23:35Z","timestamp":1553333015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/10722086_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}