{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T04:32:42Z","timestamp":1780979562923,"version":"3.54.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T00:00:00Z","timestamp":1163030400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,11,20]]},"DOI":"10.1007\/s11225-006-9009-6","type":"journal-article","created":{"date-parts":[[2006,11,8]],"date-time":"2006-11-08T09:11:22Z","timestamp":1162977082000},"page":"277-322","source":"Crossref","is-referenced-by-count":62,"title":["Pure Extensions, Proof Rules, and Hybrid Axiomatics"],"prefix":"10.1007","volume":"84","author":[{"given":"P.","family":"Blackburn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"B. ten","family":"Cate","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,11,9]]},"reference":[{"issue":"3","key":"9009_CR1","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C. Areces","year":"2001","unstructured":"Areces, C., P. Blackburn, and M. Marx, \u2018Hybrid logics: Characterization, interpolation and complexity\u2019, Journal of Symbolic Logic, 66(3):977\u20131010, 2001.","journal-title":"Journal of Symbolic Logic"},{"issue":"1\u20133","key":"9009_CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0168-0072(03)00059-9","volume":"123","author":"C. Areces","year":"2003","unstructured":"Areces, C., P. Blackburn, and M. Marx, \u2018Repairingthe interpolation theorem in quantified modal logic\u2019, Annals of Pure and Applied Logics, 123(1\u20133):287\u2013299, 2003.","journal-title":"Annals of Pure and Applied Logics"},{"key":"9009_CR3","doi-asserted-by":"crossref","unstructured":"Areces, C., and B. ten Cate, \u2018Hybrid logics\u2019, in P. Blackburn, J. van Benthem, and F.Wolter (eds), Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning, Elsevier, 2006, pp. 821\u2013868.","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"9009_CR4","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1093\/logcom\/exi056","volume":"16","author":"N. Bezhanishvili","year":"2006","unstructured":"Bezhanishvili, N. , and B. ten Cate, \u2018Transfer results for hybrid logic, Part 1: the case without satisfaction operators\u2019, Journal of Logic and Computation, 16:177\u2013197, 2006.","journal-title":"Journal of Logic and Computation"},{"key":"9009_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","volume":"10","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P., \u2018Internalizing labelled deduction\u2019, Journal of Logic and Computation, 10:137\u2013168, 2000.","journal-title":"Journal of Logic and Computation"},{"key":"9009_CR6","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s11229-005-5512-y","volume":"150","author":"P. Blackburn","year":"2006","unstructured":"Blackburn, P., \u2018Arthur Prior and hybrid logic\u2019, Synthese, 150:329\u2013372, 2006.","journal-title":"Synthese"},{"key":"9009_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal logic, Cambridge University Press, Cambridge, UK, 2001."},{"issue":"2","key":"9009_CR8","doi-asserted-by":"crossref","first-page":"463","DOI":"10.2178\/jsl\/1052669059","volume":"68","author":"P. Blackburn","year":"2003","unstructured":"Blackburn, P., and M. Marx, \u2018Constructive interpolation in hybrid logic\u2019, Journal of Symbolic Logic, 68(2):463\u2013480, 2003.","journal-title":"Journal of Symbolic Logic"},{"key":"9009_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P. Blackburn","year":"1995","unstructured":"Blackburn, P., and J. \u2018Seligman, Hybrid languages\u2019, Journal of Logic, Language and Information, 4:251\u2013272, 1995.","journal-title":"Journal of Logic, Language and Information"},{"key":"9009_CR10","unstructured":"Blackburn, P., and B. ten Cate, \u2018Beyond pure axioms: Node creating rules in hybrid tableaux\u2019, in C. Areces, P. Blackburn, M. Marx, and U. Sattler (eds.), Hybrid Logics, July 25 2002, pp. 21\u201335."},{"key":"9009_CR11","unstructured":"Blackburn, P., and M. Tzakova, \u2018Hybrid languages and temporal logic\u2019 (full version), Technical report, Universit\u00e4t des Saarlandes, Saarbr\u00e4cken, 1998. CLAUS-Report 96."},{"issue":"1","key":"9009_CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P. Blackburn","year":"1999","unstructured":"Blackburn, P., and M. Tzakova, \u2018Hybrid languages and temporal logic\u2019, Logic Journal of the IGPL, 7(1):27\u201354, 1999.","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"9009_CR13","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1093\/logcom\/14.3.329","volume":"14","author":"T. Bra\u00f6ner","year":"2004","unstructured":"Bra\u00f6ner, T.. \u2018Natural deduction for hybrid logic\u2019, Journal of Logic and Computation, 14(3):329\u2013353, 2004.","journal-title":"Journal of Logic and Computation"},{"key":"9009_CR14","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"R. Bull","year":"1970","unstructured":"Bull, R., \u2018An approach to tense logic\u2019, Theoria, 36:282\u2013300, 1970.","journal-title":"Theoria"},{"key":"9009_CR15","doi-asserted-by":"crossref","unstructured":"Buss, S., \u2018Bounded arithmetic and propositional proof complexity\u2019, in H. Schwichtenberg (ed.), Logic and Computation, Springer, 1997, pp. 67\u2013122.","DOI":"10.1007\/978-3-642-59048-1_3"},{"issue":"2","key":"9009_CR16","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. Rijke de","year":"1992","unstructured":"de Rijke, M., \u2018The modal logic of inequality\u2019, Journal of Symbolic Logic, 57(2):566\u2013584, 1992.","journal-title":"Journal of Symbolic Logic"},{"key":"9009_CR17","first-page":"29","volume":"20","author":"S. Feferman","year":"1968","unstructured":"Feferman, S., \u2018Persistent and invariant formulas for outer extensions\u2019, Compositio Mathematica, 20:29\u201352, 1968.","journal-title":"Compositio Mathematica"},{"key":"9009_CR18","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1090\/S0002-9904-1966-11507-0","volume":"72","author":"S. Feferman","year":"1966","unstructured":"Feferman, S., and Kreisel G., \u2018Persistent and invariant formulas relative to theories of higher order\u2019, Bulletin of the American Mathematical Society, 72:480\u2013485, 1966.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9009_CR19","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1755-2567.1974.tb00076.x","volume":"40","author":"K. Fine","year":"1974","unstructured":"Fine, K., \u2018An incomplete logic containing S4\u2019, Theoria, 40:23\u201329, 1974.","journal-title":"Theoria"},{"key":"9009_CR20","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"Gargov, G., and V. Goranko, \u2018Modal logic with names\u2019, Journal of Philosophical Logic, 22:607\u2013636, 1993.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9009_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V. Goranko","year":"1996","unstructured":"Goranko, V., \u2018Hierarchies of modal and temporal logics with reference pointers\u2019, Journal of Logic, Language and Information, 5(1):1\u201324, 1996.","journal-title":"Journal of Logic, Language and Information"},{"key":"9009_CR22","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1305\/ndjfl\/1040046086","volume":"37","author":"E. Hemaspaandra","year":"1996","unstructured":"Hemaspaandra, E., \u2018The price of universality\u2019, Notre Dame Journal of Formal Logic, 37:174\u2013203, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9009_CR23","unstructured":"Hintikka, J., Knowledge and Belief, Cornell University Press, 1962."},{"key":"9009_CR24","doi-asserted-by":"crossref","unstructured":"Kanger, S., \u2018The morning star paradox\u2019, Theoria, 1957, pp. 1\u201311.","DOI":"10.1111\/j.1755-2567.1957.tb00263.x"},{"key":"9009_CR25","unstructured":"Kanger, S., Provability in Logic, Almqvist & Wiksell, 1957."},{"key":"9009_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke, S., \u2018A completeness theorem in modal logic\u2019, Journal of Symbolic Logic, 24:1\u201314, 1959.","journal-title":"Journal of Symbolic Logic"},{"key":"9009_CR27","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S., \u2018Semantic analysis of modal logic I, normal propositional calculi\u2019, Zeitschrift f\u00f6r mathemathische Logik und Grundlagen der Mathematik, 9:67\u201396, 1963.","journal-title":"Zeitschrift f\u00f6r mathemathische Logik und Grundlagen der Mathematik"},{"key":"9009_CR28","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S., \u2018Semantical considerations on modal logic\u2019, Acta Philosophica Fennica, 16:83\u201394, 1963.","journal-title":"Acta Philosophica Fennica"},{"key":"9009_CR29","unstructured":"Lemmon, E., and D. Scott, The \u2018Lemmon Notes\u2019: An Introduction to Modal Logic, Blackwell, 1977."},{"key":"9009_CR30","doi-asserted-by":"crossref","unstructured":"L\u00e9vy. A., A Hierarchy of Formulas in Set Theory, volume 57 of Memoirs ofthe American Mathematical Society, 1965.","DOI":"10.1090\/memo\/0057"},{"key":"9009_CR31","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"Passy, S., and T. Tinchev, \u2018An essay in combinatory dynamic logic\u2019, Information and computation, 93:263\u2013332, 1991.","journal-title":"Information and computation"},{"key":"9009_CR32","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A., Past, Present and Future, Clarendon Press, Oxford, 1967."},{"key":"9009_CR33","unstructured":"Prior, A., Papers on Time and Tense, Oxford University Press, New edition, 2003. Edited by Hasle, \u00d8hrstrom, Bra\u00f6ner, and Copeland."},{"key":"9009_CR34","doi-asserted-by":"crossref","unstructured":"Sahlqvist, H., \u2018Completeness and correspondence in the first and second order semantics for modal logic\u2019, in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, Uppsala 1973, North-Holland Publishing Company, 1975, pp. 110\u2013143.","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"9009_CR35","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, Filosofiska Studier 13, University of Uppsala, 1971."},{"key":"9009_CR36","unstructured":"ten Cate, B., Model Theory for Extended Modal Languages, PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2004."},{"issue":"1","key":"9009_CR37","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2178\/jsl\/1107298517","volume":"70","author":"B. Cate ten","year":"2005","unstructured":"ten Cate, B., \u2018Interpolation for extended modal languages\u2019, Journal of Symbolic Logic, 70(1):223\u2013234, 2005.","journal-title":"Journal of Symbolic Logic"},{"key":"9009_CR38","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10992-005-9012-9","volume":"35","author":"B. Cate ten","year":"2006","unstructured":"ten Cate, B., \u2018Expressivity of second-order propositional modal logic\u2019, Journal of Philosophical Logic, 35:209\u2013223, 2006.","journal-title":"Journal of Philosophical Logic"},{"key":"9009_CR39","unstructured":"ten Cate, B., D. Gabelaia, and D. Sustretov, \u2018Modal languages for topology: expressivity and definability\u2019, Manuscript."},{"key":"9009_CR40","unstructured":"ten Cate, B., and T. Litak, \u2018Topological perspective on the hybrid proof rules\u2019, Electronic Notes in Theoretical Computer Science, To appear. International Workshop on Hybrid Logic 2006 (HyLo 2006)."},{"issue":"3","key":"9009_CR41","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/jigpal\/jzi024","volume":"13","author":"B. Cate ten","year":"2005","unstructured":"ten Cate, B., M. Marx, and P. Viana, \u2018Hybrid logics with Sahlqvist axioms\u2019, Logic Journal of the IGPL, 13(3):293\u2013300, 2005.","journal-title":"Logic Journal of the IGPL"},{"key":"9009_CR42","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1111\/j.1755-2567.1974.tb00077.x","volume":"40","author":"S. Thomason","year":"1974","unstructured":"Thomason, S., \u2018An incompleteness theorem in modal logic\u2019, Theoria, 40:150\u2013158, 1974.","journal-title":"Theoria"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9009-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-9009-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9009-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:40Z","timestamp":1559384680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-9009-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,9]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,11,20]]}},"alternative-id":["9009"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-9009-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,9]]}}}