𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity

✍ Scribed by Francisco M. García Olmedo; Antonio J. Rodríguez Salas

Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
822 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.

📜 SIMILAR VOLUMES

A Structure Theorem for Free Temporal Al
A Structure Theorem for Free Temporal Algebras
✍ 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.