Bringing them all together

C. Areces and P. Blackburn. Bringing them all together. Journal of Logic and Computation, 11(5):657–669, 2001.

Download

[pdf] 

Abstract

Hybrid logics are modal logics and — at least, if the authors of this editorial had their way — vice-versa. Strictly speaking, not all modal logics are hybrid, but certainly any modal logics can be hybridized, and in our view many of them should be. What is it to hybridize a modal logic? To answer this properly we need to step back a little and discuss recent trends in modal logic.

BibTeX

@Article{Areces2001d,
  author =       "C. Areces and P. Blackburn",
  journal =      "Journal of Logic and Computation",
  title =        "Bringing them all together",
  year =         "2001",
  abstract =     "Hybrid logics are modal logics and — at least, if
                 the authors of this editorial had their way —
                 vice-versa. Strictly speaking, not all modal logics are
                 hybrid, but certainly any modal logics can be
                 hybridized, and in our view many of them should be.
                 What is it to hybridize a modal logic? To answer this
                 properly we need to step back a little and discuss
                 recent trends in modal logic.",
  number =       "5",
  pages =        "657--669",
  volume =       "11",
}