A Structure Theorem for Free Temporal Al
β
Francisco M. GarcΓa Olmedo; Antonio J. RodrΓguez Salas
π
Article
π
1995
π
John Wiley and Sons
π
English
β 394 KB
## 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.