Resumé
| Originalsprog | Engelsk |
|---|---|
| Titel | The Life and Work of Leon Henkin : Essays on His Contributions |
| Redaktører | Maria Manzano, Ildiko Sain, Enrique Alonso |
| Udgivelses sted | Basel |
| Forlag | Birkhäuser Verlag |
| Publikationsdato | 14 dec. 2014 |
| Sider | 279-306 |
| ISBN (Trykt) | 978-3-319-09718-3 |
| Status | Udgivet - 14 dec. 2014 |
| Navn | Studies in Universal Logic |
|---|
Citer dette
}
Henkin and Hybrid Logic. / Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria ; Jørgensen, Klaus Frovin.
The Life and Work of Leon Henkin: Essays on His Contributions. red. / Maria Manzano; Ildiko Sain; Enrique Alonso. Basel : Birkhäuser Verlag, 2014. s. 279-306 (Studies in Universal Logic).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
TY - CHAP
T1 - Henkin and Hybrid Logic
AU - Blackburn, Patrick Rowan
AU - Huertas, Antonia
AU - Manzano, Maria
AU - Jørgensen, Klaus Frovin
PY - 2014/12/14
Y1 - 2014/12/14
N2 - 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’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’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’s best known work and hybrid logic.
AB - 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’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’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’s best known work and hybrid logic.
M3 - Book chapter
SN - 978-3-319-09718-3
SP - 279
EP - 306
BT - The Life and Work of Leon Henkin
A2 - Manzano, Maria
A2 - Sain, Ildiko
A2 - Alonso, Enrique
PB - Birkhäuser Verlag
CY - Basel
ER -