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 ...