{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:41Z","timestamp":1725748181651},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405365"},{"type":"electronic","value":"9783642405372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40537-2_18","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T12:33:51Z","timestamp":1378902831000},"page":"203-218","source":"Crossref","is-referenced-by-count":0,"title":["Prefixed Tableau Systems for Logic of Proofs and Provability"],"prefix":"10.1007","author":[{"given":"Hidenori","family":"Kurokawa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","volume":"67","author":"S.N. Art\u00ebmov","year":"1994","unstructured":"Art\u00ebmov, S.N.: Logic of proofs. Ann. Pure Appl. Logic\u00a067(1-3), 29\u201359 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. The Bulletin of Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"18_CR3","unstructured":"Artemov, S.N., Nogina, E.: Logic of knowledge with justifications from the provability perspective. Technical report, CUNY Ph.D. Program in Computer Science Technical Report TR-2004011 (2004)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"18_CR5","unstructured":"Boolos, G.: The logic of provability. Cambridge University Press (1992)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logic. Reidel Publishing Company (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Modal proof theory. In: Handbook of Modal Logic. Elsevier, New York (2006)","DOI":"10.1016\/S1570-2464(07)80005-X"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logic, pp. 249\u2013329. Kluwer (2007)","DOI":"10.1016\/S1570-2464(07)80008-5"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297\u2013396. Kluwer (1999)","DOI":"10.1007\/978-94-017-1754-0_6"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0003-4843(79)90017-2","volume":"16","author":"D. Guaspari","year":"1979","unstructured":"Guaspari, D., Solovay, R.M.: Rosser sentences. Ann. Math. Logic\u00a016(1), 81\u201399 (1979)","journal-title":"Ann. Math. Logic"},{"key":"18_CR11","unstructured":"J\u00e4ger, G.: Modal fixed point logics. In: Esparza, J., Spanfelner, B., Grumberg, O. (eds.) Logics and Languages for Reliability and Security. NATO Science for Peace and Security Series - D: Information and Communication Security, vol.\u00a025. IOS Press (2010)"},{"issue":"7","key":"18_CR12","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1016\/j.apal.2011.09.013","volume":"163","author":"H. Kurokawa","year":"2012","unstructured":"Kurokawa, H.: Tableaux and hypersequents for justification logics. Ann. Pure Appl. Logic\u00a0163(7), 831\u2013853 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"18_CR13","first-page":"407","volume":"13","author":"E. Nogina","year":"2007","unstructured":"Nogina, E.: Epistemic completeness of GLA. The Bulletin of Symbolic Logic\u00a013(3), 407 (2007)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"18_CR14","unstructured":"Nogina, E.: Logic of strong provability and explicit proofs. In: Proceedings of Logic Colloquium 2008 (2008)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Yavorskaya, T.: Logic of proofs and provability. Ann. Pure Appl. Logic\u00a0113(1-3) (2001)","DOI":"10.1016\/S0168-0072(01)00066-5"}],"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-642-40537-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T05:54:23Z","timestamp":1558072463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40537-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405365","9783642405372"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40537-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}