A Structure Theorem for Free Temporal Algebras

DOI10.1002/MALQ.19950410210MaRDI QIDQ4835527zbMATH OpenOpenAlexFDO

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

Publication date 6 June 1995

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

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

zbMATH Keywords

algebraic filtrationfinite model propertyfree temporal algebraslogical filtrationsmodal logictemporal algebrastemporal logicvariety

Mathematics Subject Classification ID

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

Recommendations

• Atoms of tense algebras
• Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
• scientific article; zbMATH DE number 437612
• Temporal algebra
• scientific article; zbMATH DE number 2087347

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3339349 (Why is no real title available?)
• Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity

Cited in

(3)

• Continuity, freeness, and filtrations
• scientific article; zbMATH DE number 437612 (Why is no real title available?)
• scientific article; zbMATH DE number 3848599 (Why is no real title available?)

This page was built for publication: A Structure Theorem for Free Temporal Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835527)