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.