Manzano Arjona, MaríaHuertas, AntoniaBlackburn, PatrickMartins, Manuel AntonioAranda Utrero, Víctor2024-02-052024-02-052023MANZANO M, HUERTAS A, BLACKBURN P, MARTINS M, ARANDA V. HYBRID PARTIAL TYPE THEORY. The Journal of Symbolic Logic. Published online 2023:1-43. doi:10.1017/jsl.2023.330022-481210.1017/jsl.2023.33https://hdl.handle.net/20.500.14352/98612In this article we define a logical system called Hybrid Partial Type Theory (HPTT ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for HPTT .engjournal article1943-5886https://www.doi.org/10.1017/jsl.2023.33https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/hybrid-partial-type-theory/5C6D8DAB7C65C66FD948BE8433FAB713restricted access16Type theoryPartial logicHybrid logicHigher-order modal logicRigidityExistenceDenotationHenkin proofsLógica (Filosofía)11 Lógica