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

DOI10.1002/MALQ.19950410104zbMath0812.03013OpenAlexW1986404770MaRDI QIDQ4323829

Antonio J. Rodríguez Salas, Francisco M. García Olmedo

Publication date: 30 March 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410104

zbMATH Keywords

splitting theoremtemporal logicmodal algebrascomputational approachtemporal algebraspretemporal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (1)

A Structure Theorem for Free Temporal Algebras

This page was built for publication: Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity