{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:15:07Z","timestamp":1775038507905,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540660866","type":"print"},{"value":"9783540487548","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48754-9_24","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:20:56Z","timestamp":1184588456000},"page":"278-292","source":"Crossref","is-referenced-by-count":19,"title":["Tableau Calculi for Hybrid Logics"],"prefix":"10.1007","author":[{"given":"Miroslava","family":"Tzakova","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"issue":"3","key":"24_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"H. Andr\u00e9ka, J. van Benthem, and I. N\u00e9meti. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217\u2013274, 1998.","journal-title":"Journal of Philosophical Logic"},{"key":"24_CR2","unstructured":"P. Blackburn. Internalizing labeled deduction. Manuscript, 1998."},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"P. Blackburn and J. Seligman. Hybrid languages. Journal of Logic, Language and Information, 4:251\u2013272, 1995.","journal-title":"Journal of Logic, Language and Information"},{"key":"24_CR4","unstructured":"P. Blackburn and J. Seligman. What are hybrid languages? In M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, editors, Advances in Modal Logic, vol. 1, pages 41\u201362. CSLI Publications, Stanford University, 1998."},{"issue":"4","key":"24_CR5","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/jigpal\/6.4.625","volume":"6","author":"P. Blackburn","year":"1998","unstructured":"P. Blackburn and M. Tzakova. Hybrid completeness. Logic Journal of the IGPL, 6(4):625\u2013650, 1998.","journal-title":"Logic Journal of the IGPL"},{"issue":"1\u20134","key":"24_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1018988913388","volume":"24","author":"P. Blackburn","year":"1998","unstructured":"P. Blackburn and M. Tzakova. Hybridizing concept languages. Annals of Mathematics and Artificial Intelligence, 24(1\u20134):23\u201349, 1998.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P. Blackburn","year":"1999","unstructured":"P. Blackburn and M. Tzakova. Hybrid languages and temporal logic. Logic Journal of the IGPL, 7(1):27\u201354, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"R. Bull","year":"1970","unstructured":"R. Bull. An approach to tense logic. Theoria, 36:282\u2013300, 1970.","journal-title":"Theoria"},{"key":"24_CR9","volume-title":"Handbook of Tableau Methods","year":"1998","unstructured":"M. D\u2019Agostino, D. Gabbay, R. H\u00e4hnle, and J. Possega, editors. Handbook of Tableau Methods. Kluwer, Dordrecht, 1998. To appear."},{"key":"24_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof methods for modal and intuitionistic logic","author":"M. Fitting","year":"1983","unstructured":"M. Fitting. Proof methods for modal and intuitionistic logic. Synthese Library. Reidel, Dordrecht, 1983."},{"issue":"6","key":"24_CR11","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"G. Gargov and V. Goranko. Modal logic with names. Journal of Philosophical Logic, 22(6):607\u2013636, 1993.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"24_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V. Goranko","year":"1996","unstructured":"V. Goranko. Hierarchies of modal and temporal logics with reference pointers. Journal of Logic, Language and Information, 5(1):1\u201324, 1996.","journal-title":"Journal of Logic, Language and Information"},{"key":"24_CR13","unstructured":"R. Gor\u00e9. Tableau methods for modal and temporal logics. Technical Report TRARP-15-95, ARP, Australian National University, 1995."},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"S. Passy and T. Tinchev. An essay in combinatory dynamic logic. Information and Computation, 93:263\u2013332, 1991.","journal-title":"Information and Computation"},{"key":"24_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"A. Prior","year":"1967","unstructured":"A. Prior. Past, present and future. Oxford University Press, Oxford, 1967."},{"issue":"4","key":"24_CR16","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00249258","volume":"12","author":"W. Rautenberg","year":"1983","unstructured":"W. Rautenberg. Modal tableau calculi and interpolation. Journal of Philosophical Logic Vol. 12 No. 4, 12(4):403\u2013424, 1983.","journal-title":"Journal of Philosophical Logic"},{"key":"24_CR17","unstructured":"J. Seligman. A cut-free sequent calculus for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC, University of Edinburgh, 1991."},{"key":"24_CR18","series-title":"Applied Logic Series","volume-title":"Advances in Intensional Logic","author":"J. Seligman","year":"1997","unstructured":"J. Seligman. The logic of correct description. In M. de Rijke, editor, Advances in Intensional Logic, Applied Logic Series. Kluwer, Dordrecht, 1997."},{"key":"24_CR19","volume-title":"First-order logic","author":"R. M. Smullyan","year":"1995","unstructured":"R. M. Smullyan. First-order logic. Dover Publications, New York, 2nd edition, 1995.","edition":"2nd edition"}],"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\/3-540-48754-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T19:42:41Z","timestamp":1550432561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}