|
|||||
|
|
A Structure Theorem for Free Temporal Algebras |
|
| Authors: | Francisco M. Garcí a Olmedo,Antonio J. Rodrí guez Salas |
| Abstract: | In this paper an algebraic version for temporal algebras of the logical filtrations for modal and temporal logics is analysed. A structure theorem for free temporal algebras and also some results with regard to the variety of temporal algebras are obtained. |
| Keywords: | Temporal algebra Free temporal algebra Temporal logic Modal logic Logical filtration Algebraic filtration Finite model property |