TY  - JOUR
AU  - Manzano Arjona, María
AU  - Huertas, Antonia
AU  - Blackburn, Patrick
AU  - Martins, Manuel Antonio
AU  - Aranda Utrero, Víctor
PY  - 2023
DO  - 10.1017/jsl.2023.33
SN  - 0022-4812
UR  - https://hdl.handle.net/20.500.14352/98612
T2  - The Journal of Symbolic Logic
AB  - In 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...
LA  - eng
M2  - 1
PB  - Cambridge University Press
KW  - Type theory
KW  - Partial logic
KW  - Hybrid logic
KW  - Higher-order modal logic
KW  - Rigidity
KW  - Existence
KW  - Denotation
KW  - Henkin proofs
TI  - Hybrid Partial Type Theory
TY  - journal article
ER  -