@InProceedings{Areces1998e,
  author =       "C. Areces and M. de Rijke",
  booktitle =    "Proceedings of WoLLIC'98. Workshop of Logic, Language,
                 Information and Computation",
  title =        "Interpolation and Bisimulation in Temporal Logic",
  year =         "1998",
  address =      "S{\~a}o Paulo, Brazil",
  organization = "IME/USP",
  pages =        "15--21",
  abstract =     "Building on recent model tehoretic results for
                 Since-Until logics we define an adequate notion of
                 bisimulation and establish general theorems concerning
                 the interpolation property. using these general results
                 we prove tha tthe basic SU-logic and any SU-logic whose
                 class of frames can be defined by universal Horn
                 formulas have interpolation. In particular, the
                 SU-logic of branching time has interpolation, while
                 linear time fails to have this property.",
}