Hybrid Logics: The Old and the New

C. Areces. Hybrid Logics: The Old and the New. In Proceedigns of LogKCA-07, pp. 15–29, 2007.

Download

[pdf] 

Abstract

Hybrid Logics are usually presented as an extension of modal logics where we can explicitly refer to the elements in the model. In this paper we will start by introducing hybrid logics from that perspective, and we will complete this presentation with a historical overview. But we will later have a closer look to the ↓ binder, and propose an alternative way to think about it. We will explain then how, in this new light, a whole new spectrum of logical languages is offered to the enterprising logician.

BibTeX

@InCollection{Areces2007,
  author =       "C. Areces",
  booktitle =    "Proceedigns of LogKCA-07",
  title =        "Hybrid Logics: The Old and the New",
  year =         "2007",
  pages =        "15--29",
  abstract =     "Hybrid Logics are usually presented as an extension of
                 modal logics where we can explicitly refer to the
                 elements in the model. In this paper we will start by
                 introducing hybrid logics from that perspective, and we
                 will complete this presentation with a historical
                 overview. But we will later have a closer look to the
                 ↓ binder, and propose an alternative way to think
                 about it. We will explain then how, in this new light,
                 a whole new spectrum of logical languages is offered to
                 the enterprising logician.",
  editors =      "X. Arrazola and M. Larrazabal",
  timestamp =    "2007.10.25",
  ISBN =         "978-84-9860-022-3",
}