INVESTIGADORES
LOPEZ POMBO Carlos Gustavo
artículos
Título:
Interpretability of First-Order Linear Temporal Logics in Fork Algebras
Autor/es:
FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO
Revista:
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Editorial:
Elsevier B.V.
Referencias:
Lugar: Amsterdam, The Netherlands; Año: 2006 vol. 66 p. 161 - 184
ISSN:
1567-8326
Resumen:
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.
