@inbook{087e9639130c4adbbc588b06d53fdc34,
title = "Henkin and Hybrid Logic",
abstract = "Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why Henkin{\textquoteright}s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory, and draws heavily on Henkin{\textquoteright}s work. We prove our Lindenbaum lemma using a Henkin-inspired strategy, witnessing ◊-prefixed expressions with nominals. Our use of general interpretations and the construction of the type hierarchy is (almost) pure Henkin. Finally, the generality of our completeness result is due to the first-order perspective, which lies at the heart of Henin{\textquoteright}s best known work and hybrid logic. ",
author = "Blackburn, {Patrick Rowan} and Antonia Huertas and Maria Manzano and J{\o}rgensen, {Klaus Frovin}",
year = "2014",
month = dec,
day = "14",
doi = "10.1007/978-3-319-09719-0_19",
language = "English",
isbn = "978-3-319-09718-3",
series = "Studies in Universal Logic",
publisher = "Birkh{\"a}user Verlag",
pages = "279--306",
editor = "Maria Manzano and Ildiko Sain and Enrique Alonso",
booktitle = "The Life and Work of Leon Henkin",
}