Journal article
Interpretability of first-order linear temporal logics in fork algebras
Abstract
In this paper we prove theorems on the interpretability of the first-order temporal logics LTL and TL 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 Argentum tool.
Authors
Frias MF; Pombo CGL
Journal
The Journal of Logic and Algebraic Programming, Vol. 66, No. 2, pp. 161–184
Publisher
Elsevier
Publication Date
February 2006
DOI
10.1016/j.jlap.2005.04.005
ISSN
1567-8326