A Labeled Tableaux System for the Distributed Temporal Logic DTL

  • Authors:

  • David Basin;Carlos Caleiro;Jaime Ramos;Luca Viganò

  • Affiliations:

  • -;-;-;-

  • Venue:
  • TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.