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

*The Life and Work of Leon Henkin: Essays on His Contributions*(s. 279-306). Basel: Birkhäuser Verlag. Studies in Universal Logic

}

*The Life and Work of Leon Henkin: Essays on His Contributions.*Birkhäuser Verlag, Basel, Studies in Universal Logic, s. 279-306.

**Henkin and Hybrid Logic.** / Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria ; Jørgensen, Klaus Frovin.

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 -