{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:07:45Z","timestamp":1784844465144,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642405365","type":"print"},{"value":"9783642405372","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40537-2_6","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T12:33:51Z","timestamp":1378902831000},"page":"44-58","source":"Crossref","is-referenced-by-count":3,"title":["Bounded Proofs and Step Frames"],"prefix":"10.1007","author":[{"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Silvio","family":"Ghilardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Abramsky, S.: A Cook\u2019s tour of the finitary non-well-founded sets. In: Essays in Honour of Dov Gabbay, pp. 1\u201318. College Publications (2005)"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"935","DOI":"10.2307\/2274147","volume":"49","author":"A. Avron","year":"1984","unstructured":"Avron, A.: On modal systems having arithmetical interpretations. J. Symbolic Logic\u00a049(3), 935\u2013942 (1984)","journal-title":"J. Symbolic Logic"},{"key":"6_CR3","unstructured":"van Benthem, J.: Modal logic and classical logic. Indices: Monographs in Philosophical Logic and Formal Linguistics, III. Bibliopolis, Naples (1985)"},{"issue":"1-3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s11225-006-8301-9","volume":"83","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J.: Modal frame correspondences and fixed-points. Studia Logica\u00a083(1-3), 133\u2013155 (2006)","journal-title":"Studia Logica"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11225-012-9388-9","volume":"100","author":"J. Benthem van","year":"2012","unstructured":"van Benthem, J., Bezhanishvili, N., Hodkinson, I.: Sahlqvist correspondence for modal mu-calculus. Studia Logica\u00a0100, 31\u201360 (2012)","journal-title":"Studia Logica"},{"issue":"2:9","key":"6_CR6","first-page":"1","volume":"7","author":"N. Bezhanishvili","year":"2011","unstructured":"Bezhanishvili, N., Gehrke, M.: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Log. Methods Comput. Sci.\u00a07(2:9), 1\u201324 (2011)","journal-title":"Log. Methods Comput. Sci."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, N., Ghilardi, S.: Bounded proofs and step frames. Technical Report 306, Department of Philosophy, Utrecht University (2013)","DOI":"10.1007\/978-3-642-40537-2_6"},{"key":"6_CR8","unstructured":"Bezhanishvili, N., Ghilardi, S., Jibladze, M.: Free modal algebras revisited: the step-by-step method. In: Leo Esakia on Duality in Modal and Intuitionistic Logics. Trends in Logic. Springer (to appear, 2013)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-73859-6_10","volume-title":"Algebra and Coalgebra in Computer Science","author":"N. Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, N., Kurz, A.: Free modal algebras: A coalgebraic perspective. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 143\u2013157. Springer, Heidelberg (2007)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. The Clarendon Press (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.apal.2011.09.003","volume":"163","author":"A. Ciabattoni","year":"2012","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: cut-elimination and completions. Ann. Pure Appl. Logic\u00a0163(3), 266\u2013290 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR12","unstructured":"Conradie, W., Ghilardi, S., Palmigiano, A.: Unified correspondence. In: Essays in Honour of J. van Benthem (to appear)"},{"issue":"1:5","key":"6_CR13","first-page":"1","volume":"2","author":"W. Conradie","year":"2006","unstructured":"Conradie, W., Goranko, V., Vakarelov, D.: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Log. Methods Comput. Sci.\u00a02(1:5), 1\u201326 (2006)","journal-title":"Log. Methods Comput. Sci."},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1093\/logcom\/exs016","volume":"23","author":"D. Coumans","year":"2013","unstructured":"Coumans, D., van Gool, S.: On generalizing free algebras for a functor. Journal of Logic and Computation\u00a023(3), 645\u2013672 (2013)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","volume":"16","author":"K. Fine","year":"1975","unstructured":"Fine, K.: Normal forms in modal logic. Notre Dame J. Formal Logic\u00a016, 229\u2013237 (1975)","journal-title":"Notre Dame J. Formal Logic"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0168-0072(93)E0084-2","volume":"71","author":"S. Ghilardi","year":"1995","unstructured":"Ghilardi, S.: An algebraic theory of normal forms. Annals of Pure and Applied Logic\u00a071, 189\u2013245 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.3166\/jancl.20.193-217","volume":"20","author":"S. Ghilardi","year":"2010","unstructured":"Ghilardi, S.: Continuity, freeness, and filtrations. J. Appl. Non-Classical Logics\u00a020(3), 193\u2013217 (2010)","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"1-2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/j.apal.2005.10.005","volume":"141","author":"V. Goranko","year":"2006","unstructured":"Goranko, V., Vakarelov, D.: Elementary canonical formulae: extending Sahlqvist\u2019s theorem. Ann. Pure Appl. Logic\u00a0141(1-2), 180\u2013217 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Gor\u00e9, R.: Cut-free sequent and tableaux systems for propositional diodorean modal logics. Technical report, Dept. of Comp. Sci., Univ. of Manchester (1993)","DOI":"10.1007\/BF01057938"},{"key":"6_CR20","unstructured":"Kracht, M.: Tools and techniques in modal logic. Studies in Logic and the Foundations of Mathematics, vol.\u00a0142. North-Holland Publishing Co. (1999)"},{"key":"6_CR21","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. Cambridge University Press, Cambridge (2001)"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"992","DOI":"10.2307\/2274758","volume":"54","author":"G. Sambin","year":"1989","unstructured":"Sambin, G., Vaccaro, V.: A new proof of Sahlqvist\u2019s theorem on modal definability and completeness. Journal of Symbolic Logic\u00a054, 992\u2013999 (1989)","journal-title":"Journal of Symbolic 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\/978-3-642-40537-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T20:18:58Z","timestamp":1715977138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40537-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405365","9783642405372"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40537-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}