dc.contributor.author | Areces, Carlos Eduardo | |
dc.contributor.author | Blackburn, Patrick | |
dc.contributor.author | Huertas, Antonia | |
dc.contributor.author | Manzano, María | |
dc.date.accessioned | 2021-08-31T14:22:20Z | |
dc.date.available | 2021-08-31T14:22:20Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Areces, C. E., Blackburn, P., Huertas, A. y Manzano, M. (2014). Completeness in hybrid type theory. Journal of Philosophical Logic, 43 (2-3), 209-238. https://doi.org/10.1007/s10992-012-9260-4 | |
dc.identifier.uri | http://hdl.handle.net/11086/20021 | |
dc.identifier.uri | https://doi.org/10.1007/s10992-012-9260-4 | |
dc.description.abstract | We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret @i in propositional and first-order hybrid logic. This means: interpret @iαa, where αa is an expression of any type a, as an expression of type a that rigidly returns the value that αa receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual in hybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logic over Henkin’s logic. | en |
dc.format.medium | Impreso; Electrónico y/o Digital | |
dc.language.iso | eng | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.source | EISSN 1573-0433 | |
dc.subject | Hybrid logic | en |
dc.subject | Type theory | en |
dc.subject | Higher-order modal logic | en |
dc.subject | Nominals | en |
dc.subject | @ operators | en |
dc.title | Completeness in hybrid type theory | en |
dc.type | article | es |
dc.description.version | submittedVersion | es |
dc.description.fil | Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. | es |
dc.description.fil | Fil: Blackburn, Patrick. University of Roskilde. Centre for Culture and Identity. Department of Philosophy and Science Studies; Dinamarca. | es |
dc.description.fil | Fil: Huertas, Antonia. Universitat Oberta de Catalunya; España. | es |
dc.description.fil | Fil: Manzano, María. Universidad de Salamanca; España. | es |
dc.journal.country | Alemania | es |
dc.journal.editorial | Springer | en |
dc.journal.number | 2-3 | es |
dc.journal.pagination | 209-238 | es |
dc.journal.title | Journal of Philosophical Logic | en |
dc.journal.volume | 43 | es |
dc.description.field | Ciencias de la Computación | |