Hybrid Logics

C. Areces and B. ten Cate. Hybrid Logics. In P. Blackburn, F. Wolter, and J. van Benthem, editors, Handbook of Modal Logics, pp. 821–868, Elsevier, 2006.

Download

[pdf] 

Abstract

Hybrid languages are modal languages that have special symbols for naming individual states in models. Their history can be traced back to work of Arthur Prior in the fifties. The subject has recently regained interest, resulting in many new results and techniques. This chapter contains a modern overview of the field. We sketch its history, and survey the basic properties of various hybrid languages, focussing on model theory (completeness, expressivity, definability, interpolation), decidability and complexity, and proof theory. We also discuss a number of connections with other fields.

BibTeX

@InCollection{Areces2006a,
  author =       "C. Areces and B. ten Cate",
  booktitle =    "Handbook of Modal Logics",
  publisher =    "Elsevier",
  abstract =     "Hybrid languages are modal languages that have special
                 symbols for naming individual states in models. Their
                 history can be traced back to work of Arthur Prior in
                 the fifties. The subject has recently regained
                 interest, resulting in many new results and techniques.
                 This chapter contains a modern overview of the field.
                 We sketch its history, and survey the basic properties
                 of various hybrid languages, focussing on model theory
                 (completeness, expressivity, definability,
                 interpolation), decidability and complexity, and proof
                 theory. We also discuss a number of connections with
                 other fields.",
  title =        "Hybrid Logics",
  year =         "2006",
  editor =       "P. Blackburn and F. Wolter and J. van Benthem",
  pages =        "821--868",
  ISBN =         "978-0-08-046666-8",
}