TY  - GEN 
AU  - García Olmedo, Francisco Miguel
AU  - Rodríguez Salas, Antonio Jesús
AU  - González Rodelas, Pedro
PY  - 2023
UR  - https://hdl.handle.net/10481/90806
AB  - In this paper, we give a basic structure theorem based on the study of extreme cases for the value of ≺ (the classical precedence relation between ultrafilters), i.e., ≺=∅ and no isolated element in ≺. This gives rise, respectively, to the temporal...
LA  - eng
PB  - MDPI
KW  - Temporal logic
KW  - Free temporal algebras
KW  - Polymodal algebras
TI  - Certain Bounds of Formulas in Free Temporal Algebras
DO  - 10.3390/axioms12121111
ER  -