{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:47Z","timestamp":1773939167272,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665366","type":"print"},{"value":"9783540481683","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48168-0_22","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T11:30:26Z","timestamp":1196508626000},"page":"307-321","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["A Road-Map on Complexity for Hybrid Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Blackburn","sequence":"additional","affiliation":[]},{"given":"Maarten","family":"Marx","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"22_CR1","unstructured":"C. Areces and M. de Rijke. Accounting for assertional information. Manuscript, 1999."},{"issue":"2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"J. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2):123\u2013154, July 1984.","journal-title":"Artificial Intelligence"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"J. van Benthem. The logic of time. Reidel, 1983.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"22_CR4","volume-title":"Modal Logic and Classical Logic","author":"J. Benthem van","year":"1983","unstructured":"J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Naples, 1983."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, E. Gr\u00e4del, and Y. Gurevich. The Classical Decision Problem. Springer Verlag, 1997.","DOI":"10.1007\/978-3-642-59207-2"},{"key":"22_CR6","unstructured":"P. Blackburn. Internalizing labeled deduction. Technical Report CLAUS-Report 102, Computerlinguistik, Universit\u00e4t des Saarlandes, 1998. http:\/\/www.coli.uni-sb.de\/cl\/claus ."},{"issue":"3","key":"22_CR7","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. J. of Logic, Language and Information, 4(3):251\u2013272, 1995. Special issue on decompositions of firstorder logic.","journal-title":"J. of Logic, Language and Information"},{"key":"22_CR8","first-page":"41","volume-title":"Advances in Modal Logic","author":"P. Blackburn","year":"1998","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, volume 1, pages 41\u201362. CSLI Publications, Stanford University, 1998."},{"issue":"1","key":"22_CR9","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 logics. Logic J. of the IGPL, 7(1):27\u201354, 1999.","journal-title":"Logic J. of the IGPL"},{"key":"22_CR10","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"},{"issue":"3","key":"22_CR11","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/0022-0000(86)90036-X","volume":"32","author":"B. Chlebus","year":"1986","unstructured":"B. Chlebus. Domino-tiling games. J. Comput. System Sci., 32(3):374\u2013392, 1986.","journal-title":"J. Comput. System Sci"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"D. Gabbay. Labeled deductive systems. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"issue":"1","key":"22_CR13","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. J. Logic Lang. Inform., 5(1):1\u201324, 1996.","journal-title":"J. Logic Lang. Inform"},{"key":"22_CR14","unstructured":"E. Gr\u00e4del. On the restraining power of guards. To appear in J. of Symbolic Logic, 1997."},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"22_CR16","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R. Ladner","year":"1977","unstructured":"R. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM J. of Computing, 6(3):467\u2013480, 1977.","journal-title":"SIAM J. of Computing"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BFb0028835","volume-title":"Fundamentals of computation theory (Cottbus, 1985)","author":"Passy","year":"1985","unstructured":"Passy and T. Tinchev. Quantifiers in combinatory PDL: completeness, definability, incompleteness. In Fundamentals of computation theory (Cottbus, 1985), pages 512\u2013519. Springer, Berlin, 1985."},{"key":"22_CR18","unstructured":"K. Schild. A correspondence theory for terminological logics. In Proc. of the 12th IJCAI, pages 466\u2013471, 1991."},{"key":"22_CR19","unstructured":"A. Schaerf. Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues. PhD thesis, Dipartimento di Informatica e Sistemistica, Univ. di Roma \u201cLa Sapienza\u201d, 1994."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"J. Seligman. The logic of correct description. In M. de Rijke, editor, Advances in Intensional Logic, pages 107\u2013135. Kluwer, 1997.","DOI":"10.1007\/978-94-015-8879-9_5"},{"key":"22_CR21","unstructured":"E. Spaan. Complexity of modal logics. PhD thesis, ILLC. University of Amsterdam, 1993."},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-94-015-8242-1_10","volume-title":"Diamonds and defaults (Amsterdam, 19901991)","author":"E. Spaan","year":"1993","unstructured":"E. Spaan. The complexity of propositional tense logics. In Diamonds and defaults (Amsterdam, 19901991), pages 287\u2013307. Kluwer Acad. Publ., Dordrecht, 1993."},{"key":"22_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schauss","year":"1991","unstructured":"M. Schmidt-Schauss and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1\u201326, 1991.","journal-title":"Artificial Intelligence"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"M. Tzakova. Tableaux calculi for hybrid logics. Manuscript, 1998.","DOI":"10.1007\/3-540-48754-9_24"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T23:12:48Z","timestamp":1708384368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}