{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T11:50:58Z","timestamp":1775735458787,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540282310","type":"print"},{"value":"9783540318972","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538363_24","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:35:33Z","timestamp":1127828133000},"page":"339-354","source":"Crossref","is-referenced-by-count":20,"title":["On the Complexity of Hybrid Logics with Binders"],"prefix":"10.1007","author":[{"given":"Balder","family":"ten Cate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Franceschet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J., N\u00e9meti, I.: Modal logics and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027, 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: On the restraining power of guards. Journal of Symbolic Logic\u00a064, 1719\u20131742 (1999)","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a021, 135\u2013140 (1975)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(98)00308-9","volume":"224","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., Otto, M.: On logics with two variables. Theoretical computer science\u00a0224, 73\u2013113 (1999)","journal-title":"Theoretical computer science"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C. Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., Marx, M.: Hybrid logics: Characterization, interpolation, and complexity. Journal of Symbolic Logic\u00a066, 977\u20131010 (2001)","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.2178\/jsl\/1107298517","volume":"70","author":"B. Cate ten","year":"2005","unstructured":"ten Cate, B.: Interpolation for extended modal languages. Journal of Symbolic Logic\u00a070, 223\u2013234 (2005)","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR7","unstructured":"ten Cate, B.: Model theory for extended modal languages. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-2005-01 (2005)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Franceschet, M., de Rijke, M.: Model checking for hybrid logics (with an application to semistructured data). Journal of Applied Logics (2005) (to appear)","DOI":"10.1016\/j.jal.2005.06.010"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"Blackburn, P., Seligman, J.: Hybrid languages. Journal of Logic, Language and Information\u00a04, 251\u2013272 (1995)","journal-title":"Journal of Logic, Language and Information"},{"key":"24_CR10","first-page":"51","volume":"24","author":"D. Harel","year":"1985","unstructured":"Harel, D.: Recurring dominoes: making the highly undecidable highly understandable. Annals of Discrete Mathematics\u00a024, 51\u201372 (1985)","journal-title":"Annals of Discrete Mathematics"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V. Goranko","year":"1996","unstructured":"Goranko, V.: Hierarchies of modal and temporal logics with reference pointers. Journal of Logic, Language, and Information\u00a05, 1\u201324 (1996)","journal-title":"Journal of Logic, Language, and Information"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Flum, J., Guez-Artalejo, M.R. (eds.) Proceedings of the 8th Annual Conference of the EACSL, Madrid (1999)","DOI":"10.1007\/3-540-48168-0_22"},{"key":"24_CR13","unstructured":"Marx, M.: Narcissists, stepmothers and spies. In: Proceedings of the International Workshop on Description Logics (2002)"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. Fisher","year":"1979","unstructured":"Fisher, M., Ladner, R.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences\u00a018, 194\u2013211 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1093\/jigpal\/8.5.653","volume":"8","author":"C. Areces","year":"2000","unstructured":"Areces, C., Blackburn, P., Marx, M.: The computational complexity of hybrid temporal logics. Logic Journal of the IGPL\u00a08, 653\u2013679 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"ten Cate, B., Franceschet, M.: Guarded fragments with constants. Journal of Logic, Language, and Information (2005) (to appear)","DOI":"10.1007\/s10849-005-5787-x"},{"key":"24_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer, Berlin (1997)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"ten Cate, B., Franceschet, M.: On the complexity of hybrid logics with binders. Technical Report PP-2005-02, ILLC, University of Amsterdam (2005)","DOI":"10.1007\/11538363_24"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: On the complexity of bounded-variable queries. In: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 266\u2013276 (1995)","DOI":"10.1145\/212433.212474"},{"key":"24_CR20","unstructured":"ten Cate, B., Franceschet, M.: Guarded fragments with constants. Technical Report PP-2004-32, ILLC, University of Amsterdam (2004)"},{"key":"24_CR21","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of the IGPL\u00a08, 339\u2013365 (2000)","journal-title":"Logic Journal of the IGPL"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538363_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T22:38:06Z","timestamp":1586471886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538363_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282310","9783540318972"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11538363_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}