The Expressive Power of Temporal Logic of Actions (Extended Abstract)

  • Authors:
  • Arkadi Estrin;Michael Kaminski

  • Affiliations:
  • -;-

  • Venue:
  • CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability/validity questions in Second Order Temporal Logic and vice versa. The translation from Second Order Temporal Logic into Temporal Logic of Actions is linear and the translation from Temporal Logic of Actions into Second Order Temporal Logic is quadratic.