{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:13:14Z","timestamp":1760202794905,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,10,20]],"date-time":"2018-10-20T00:00:00Z","timestamp":1539993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"MIEYC","award":["FFI2013-47126-P"],"award-info":[{"award-number":["FFI2013-47126-P"]}]},{"DOI":"10.13039\/501100004837","name":"MICINN","doi-asserted-by":"crossref","award":["FFI2017- 82554"],"award-info":[{"award-number":["FFI2017- 82554"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"crossref"}]},{"name":"FCT-CIDMA","award":["UID\/MAT\/04106\/2013"],"award-info":[{"award-number":["UID\/MAT\/04106\/2013"]}]},{"name":"FCT","award":["POCI-01-0145-FEDER-016692"],"award-info":[{"award-number":["POCI-01-0145-FEDER-016692"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s11225-018-9833-5","type":"journal-article","created":{"date-parts":[[2018,10,20]],"date-time":"2018-10-20T13:44:58Z","timestamp":1540043098000},"page":"1159-1198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Completeness in Equational Hybrid Propositional Type Theory"],"prefix":"10.1007","volume":"107","author":[{"given":"Maria","family":"Manzano","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5109-8066","authenticated-orcid":false,"given":"Manuel","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Antonia","family":"Huertas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,20]]},"reference":[{"key":"9833_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.4064\/fm-52-3-345-350","volume":"52","author":"P Andrews","year":"1963","unstructured":"Andrews, P., A reduction of the axioms for the theory of propositional types, Fundamenta Mathematicae 52: 345\u2013350, 1963.","journal-title":"Fundamenta Mathematicae"},{"key":"9833_CR2","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof","author":"P Andrews","year":"1986","unstructured":"Andrews, P., An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Academic Press, Cambridge 1986."},{"issue":"2\u20133","key":"9833_CR3","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10992-012-9260-4","volume":"43","author":"C Areces","year":"2014","unstructured":"Areces, C., P. Blackburn, A. Huertas, and M. Manzano, Completeness in Hybrid Type Theory, J Philos Logic (Journal of Philosophical Logic) 43(2\u20133): 209\u2013238, 2014. https:\/\/doi.org\/10.1007\/s10992-012-9260-4 .","journal-title":"J Philos Logic (Journal of Philosophical Logic)"},{"issue":"1","key":"9833_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10849-013-9184-6","volume":"23","author":"L Barbosa","year":"2014","unstructured":"Barbosa, L., S. Martins, A. Manuel, and M. Carreteiro, A Hilbert-style axiomatisation for equational hybrid logic, Journal of Logic, Language and Information 23(1): 31\u201352, 2014.","journal-title":"Journal of Logic, Language and Information"},{"key":"9833_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, P., and J. van Benthem, Modal Logic: A Semantic Perspective. Handbook of Modal Logic, Elsevier, New York 2007.","DOI":"10.1016\/S1570-2464(07)80004-8"},{"key":"9833_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11225-006-9009-6","volume":"84","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., and B. ten Cate, Pure Extensions, Proof Rules and Hybrid Axiomatics, Studia Logica 84: 277\u2013322, 2006.","journal-title":"Studia Logica"},{"key":"9833_CR7","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L Henkin","year":"1949","unstructured":"Henkin, L., The completeness of the first order functional calculus, The Journal of Symbolic Logic 14: 159\u2013166, 1949.","journal-title":"The Journal of Symbolic Logic"},{"key":"9833_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L., Completeness in the theory of types, The Journal of Symbolic Logic 15: 81\u201391, 1950.","journal-title":"The Journal of Symbolic Logic"},{"key":"9833_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.2307\/2266323","volume":"18","author":"L Henkin","year":"1953","unstructured":"Henkin, L., Some notes on nominalism, The Journal of Symbolic Logic 18: 19\u201329, 1953.","journal-title":"The Journal of Symbolic Logic"},{"key":"9833_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","volume":"52","author":"L Henkin","year":"1963","unstructured":"Henkin, L., A theory of propositional types, Fundamenta Mathematicae 52:\u00a0323\u2013344, 1963.","journal-title":"Fundamenta Mathematicae"},{"key":"9833_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF02380832","volume":"5","author":"L Henkin","year":"1975","unstructured":"Henkin, L., Identity as a logical primitive, Philosophia 5: 31\u201345, 1975.","journal-title":"Philosophia"},{"key":"9833_CR12","volume-title":"Extensions of First Order Logic","author":"M Manzano","year":"1996","unstructured":"Manzano, M., Extensions of First Order Logic, Cambridge Univ. Press., Cambridge, 1996."},{"issue":"3\u20134","key":"9833_CR13","first-page":"121","volume":"43","author":"M Manzano","year":"2014","unstructured":"Manzano, M., M. A. Martins, and A. Huertas, A semantics for equational hybrid propositional type theory, Bulletin of the Section of Logic 43(3\u20134): 121\u2013138, 2014.","journal-title":"Bulletin of the Section of Logic"},{"key":"9833_CR14","doi-asserted-by":"crossref","unstructured":"Manzano, M., Henkin on Completeness, in M. Manzano, I. Sain, and E. Alonso, (eds.), The Life and Work of Leon Henkin. Essays on His Contributions, Springer International Publishing, 2014, pp. 149\u2013176.","DOI":"10.1007\/978-3-319-09719-0_12"},{"issue":"3\/4","key":"9833_CR15","doi-asserted-by":"crossref","first-page":"169","DOI":"10.18778\/0138-0680.46.3.4.02","volume":"46","author":"M Manzano","year":"2017","unstructured":"Manzano, M., and M. C. Moreno, Identity, equality, nameability and completeness, Bulletin of the Section of Logic 46(3\/4): 169\u2013195, 2017.","journal-title":"Bulletin of the Section of Logic"},{"key":"9833_CR16","unstructured":"Manzano, M., and M. C. Moreno, Identity, Equality, nameability and completeness\u2014Part II, Bulletin of the Section of Logic. To appear."},{"key":"9833_CR17","doi-asserted-by":"publisher","first-page":"145","DOI":"10.2307\/2268279","volume":"2","author":"W Quine","year":"1937","unstructured":"Quine, W., Logic based on inclusion and abstraction, The Journal of Symbolic Logic 2: 145\u2013152, 1937.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9833_CR18","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1112\/plms\/s2-25.1.338","volume":"25","author":"FP Ramsey","year":"1926","unstructured":"Ramsey, F.\u00a0P., The foundations of mathematics, Proceedings L. M. S. 25(2): 338\u2013384, 1926.","journal-title":"Proceedings L. M. S"},{"key":"9833_CR19","doi-asserted-by":"publisher","first-page":"196","DOI":"10.4064\/fm-4-1-196-200","volume":"4","author":"A Tarski","year":"1923","unstructured":"Tarski, A., Sur le terme primitif de la logistique, Fundamenta Mathematicae 4: 196\u2013200, 1923.","journal-title":"Fundamenta Mathematicae"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9833-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9833-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9833-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T17:14:50Z","timestamp":1605287690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9833-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,20]]},"references-count":19,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9833"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9833-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2018,10,20]]},"assertion":[{"value":"15 May 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 October 2018","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}