ETLs are temporal logics employing w-automata as temporal connectives. This paper presents sound and complete axiom systems for ETLl, ETL f, and ETLr, respectively. Axioms and rules reflecting temporal behaviors of looping, finite and repeating automaton connectives are provided. Moreover, by encoding temporal operators into automaton connectives and instantiating the axioms and rules relating to automaton connectives, one may derive axiom systems for given ETL fragments. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Liu, W., Wang, J., Dong, W., & Chen, H. (2007). Axiomatizing extended temporal logic fragments via instantiation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4711 LNCS, pp. 322–336). Springer Verlag. https://doi.org/10.1007/978-3-540-75292-9_22
Mendeley helps you to discover research relevant for your work.