{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:37Z","timestamp":1760202637344},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T00:00:00Z","timestamp":1357776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-012-9260-4","type":"journal-article","created":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T12:12:21Z","timestamp":1357733541000},"page":"209-238","source":"Crossref","is-referenced-by-count":11,"title":["Completeness in Hybrid Type Theory"],"prefix":"10.1007","volume":"43","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Blackburn","sequence":"additional","affiliation":[]},{"given":"Antonia","family":"Huertas","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda","family":"Manzano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,10]]},"reference":[{"key":"9260_CR1","unstructured":"Areces, C., & Blackburn, P. (2005). Reichenbach, Prior and Montague: a semantic get-together. In We will show them: Essays in honour of Dov Gabbay on his 60th birthday (Vol.\u00a01, pp. 77\u201387). Woodend: College Publications."},{"issue":"2","key":"9260_CR2","first-page":"225","volume":"15","author":"C Areces","year":"2011","unstructured":"Areces, C., Blackburn, P., Manzano, M., Huertas, A. (2011). Hybrid type theory: a quartet in four movements. Principia: an International Journal of Epistemology, 15(2), 225\u2013247.","journal-title":"Principia: an International Journal of Epistemology"},{"key":"9260_CR3","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S1570-2464(07)80017-6","volume-title":"Handbook of modal logic","author":"C Areces","year":"2007","unstructured":"Areces, C., & Ten Cate, B. (2007). Hybrid logic. In Handbook of modal logic (pp. 821\u2013868). New York: Elsevier."},{"key":"9260_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J Barwise","year":"1981","unstructured":"Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"key":"9260_CR5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P. (2000). Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8, 339\u2013365.","journal-title":"Logic Journal of the IGPL"},{"key":"9260_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. (2006). Arthur Prior and hybrid logic. Synthese, 150, 329\u2013372.","journal-title":"Synthese"},{"key":"9260_CR7","unstructured":"Blackburn, P., & Marx, M. (2002). Tableaux for quantified hybrid logic. In U. Egly, & C. Fernm\u00fcller (Eds.), Automated reasoning with analytic tableaux and related methods, international conference, TABLEAUX 2002 (pp. 38\u201352). Copenhagen: Denmark."},{"key":"9260_CR8","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11225-006-9009-6","volume":"84","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., & Ten Cate, B. (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica, 84, 277\u2013322.","journal-title":"Studia Logica"},{"issue":"1","key":"9260_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P Blackburn","year":"1999","unstructured":"Blackburn, P., & Tzakova, M. (1999). Hybrid languages and temporal logic. Logic Journal of the IGPL, 7(1), 27\u201354.","journal-title":"Logic Journal of the IGPL"},{"key":"9260_CR10","volume-title":"Handbook of modal logic","author":"P Blackburn","year":"2007","unstructured":"Blackburn, P., van\u00a0Benthem, J., Wolter, F. (2007). Handbook of modal logic. New York: Elsevier."},{"key":"9260_CR11","volume-title":"Handbook of modal logic","author":"T Brauner","year":"2007","unstructured":"Brauner, & T., Ghilardi, S. (2007). First-order modal logic. In Handbook of modal logic (pp. 549\u2013620). New York: Elsevier."},{"key":"9260_CR12","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. (1970). An approach to tense logic. Theoria, 36, 282\u2013300.","journal-title":"Theoria"},{"key":"9260_CR13","unstructured":"Ten Cate, B. (2005). Model theory for extended modal languages. PhD thesis, University of Amsterdam. ILLC Dissertation Series DS-2005-01."},{"key":"9260_CR14","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5, 56\u201368.","journal-title":"Journal of Symbolic Logic"},{"key":"9260_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0411-4","volume-title":"Types, tableaus, and Goedel\u2019s God","author":"M Fitting","year":"2002","unstructured":"Fitting, M. (2002). Types, tableaus, and Goedel\u2019s God. Boston: Kluwer."},{"key":"9260_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-order modal logic","author":"M Fitting","year":"1998","unstructured":"Fitting, M., & Mendelsohn, R. (1998). First-order modal logic. New York: Springer."},{"key":"9260_CR17","volume-title":"Intensional and higher-order modal logic","author":"D Gallin","year":"1975","unstructured":"Gallin, D. (1975). Intensional and higher-order modal logic. Amsterdam: North-Holland."},{"key":"9260_CR18","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G Gargov","year":"1993","unstructured":"Gargov, G., & Goranko, V. (1993). Modal logic with names. Journal of Philosophical Logic, 22, 607\u2013636.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9260_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V Goranko","year":"1996","unstructured":"Goranko, V. (1996). Tense logic with reference pointers. Journal of Logic, Language and Information, 5(1), 1\u201324.","journal-title":"Journal of Logic, Language and Information"},{"key":"9260_CR20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., & Passy, S. (1992). Using the universal modality: gains and questions. Journal of Logic and Computation, 2, 5\u201330.","journal-title":"Journal of Logic and Computation"},{"key":"9260_CR21","unstructured":"Groenendijk, J., & Stokhof, M. (1984). Studies on the semantics of questions and the pragmatics of answers. Doctoral dissertation, University of Amsterdam."},{"issue":"3","key":"9260_CR22","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L Henkin","year":"1949","unstructured":"Henkin, L. (1949). The completeness of the first-order functional calculus. The Journal of Symbolic Logic, 14(3), 159\u2013166.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9260_CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L. (1950). Completeness in the theory of types. The Journal of Symbolic Logic, 15(2), 81\u201391.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9260_CR24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/421107","volume":"2","author":"L Henkin","year":"1996","unstructured":"Henkin, L. (1996). The discovery of my completeness proofs. The Bulletin of Symbolic Logic, 2(2), 127\u2013158.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9260_CR25","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A new introduction to modal logic","author":"G Hughes","year":"1996","unstructured":"Hughes, G., & Cresswell, M. (1996). A new introduction to modal logic. Evanston: Routledge."},{"issue":"4","key":"9260_CR26","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/s10849-009-9087-8","volume":"18","author":"M Kaminski","year":"2009","unstructured":"Kaminski, M., & Smolka, G. (2009). Terminating tableau systems for hybrid logic with difference and converse. Journal of Logic, Language and Information, 18(4), 437\u2013464.","journal-title":"Journal of Logic, Language and Information"},{"key":"9260_CR27","volume-title":"Extensions of first order logic","author":"M Manzano","year":"1996","unstructured":"Manzano, M. (1996). Extensions of first order logic. Cambridge: Cambridge University Press."},{"key":"9260_CR28","unstructured":"Montague, R. (1973). The proper treatment of quantification in ordinary English. In J. Hintikka, J. Moravcsik, P. Suppes (Eds.), Approaches to natural language (pp. 221\u2013242). The Netherlands: Reidel. Reprinted in Thomason, R. (Ed.) (1974). Formal philosophy. Selected papers by Richard Montague. New Haven: Yale University Press."},{"key":"9260_CR29","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00635836","volume":"19","author":"R Muskens","year":"1996","unstructured":"Muskens, R. (1996). Combining Montague semantics and discourse representation. Linguistics and Philosophy, 19, 143\u2013186.","journal-title":"Linguistics and Philosophy"},{"key":"9260_CR30","unstructured":"Muskens, R. (2007). Higher order modal logic. In Handbook of modal logic (pp. 621\u2013653). New York: Elsevier."},{"key":"9260_CR31","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. (1967). Past, present and future. Oxford: Oxford University Press."},{"key":"9260_CR32","unstructured":"Prior, A. (2003). Papers on time and tense (New ed.). Oxford: Oxford University Press. Edited by Hasle, \u00d8hrstrom, Bra\u00fcner, and Copeland."},{"key":"9260_CR33","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M de\u00a0Rijke","year":"1992","unstructured":"de\u00a0Rijke, M. (1992). The modal logic of inequality. Journal of Symbolic Logic, 57, 566\u2013584.","journal-title":"Journal of Symbolic Logic"},{"key":"9260_CR34","unstructured":"Thomason, R. (Ed.) (1974). Formal philosophy. Selected papers by Richard Montague. New Haven: Yale University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9260-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9260-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9260-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:51Z","timestamp":1559338191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9260-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,10]]},"references-count":34,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9260"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9260-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,10]]}}}