Interpolation and Bisimulation in Temporal Logic

C. Areces and M. de Rijke. Interpolation and Bisimulation in Temporal Logic. In Proceedings of WoLLIC'98. Workshop of Logic, Language, Information and Computation, pp. 15–21, S\ ao Paulo, Brazil, 1998.

Download

[pdf] 

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.

BibTeX

@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.",
}