Interpretability of First-Order Liner Temporal Logics in Fork Algebras

FRIAS, MARCELO FABIAN; LOPEZ POMBO, CARLOS GUSTAVO

Journal of Logic and Algebraic Programming

Elsevier

Año: 2006 vol. 66 p. 181 - 216

1567-8326

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 pro ject on the interpretability of logics in Fork Algebras, and has important applications towards the relational specification of properties of systems within the Argentum tool.