Interpretability of first-order linear temporal logics in fork algebras
In this paper we prove theorems on the interpretability of the first-order temporal logics LT L and T L into fork algebras. This result is part of a research project on the interpretability of logics in fork algebras, and has important applications towards the relational specification of properties of systems within the Ar(g)entum tool. (c) 2005 Elsevier Inc. All rights reserved.
interpretability temporal logics fork algebras software verification