Browsing Artículos 2014 by Subject "Nominals"
Now showing items 1-1 of 1
-
Completeness in hybrid type theory
(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 ...