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 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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Frias, M.F., Pombo, C.G.L.
Formato: JOUR
Materias:
Fork algebras
Interpretability
Software verification
Temporal logics
Computer software
Formal logic
Mathematical programming
Theorem proving
Algebra
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_15678326_v66_n2_p161_Frias
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares