Browsing Artículos by Author "Manzano, María"
Now showing items 1-1 of 1
-
Completeness in hybrid type theory
Areces, Carlos Eduardo; Blackburn, Patrick; Huertas, Antonia; Manzano, María (2014)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 ...