Certain Bounds of Formulas in Free Temporal Algebras

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., <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>≺</mo><mo>=</mo><mo>∅</mo></m...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριοι συγγραφείς:	Francisco Miguel García-Olmedo, Antonio Jesús Rodríguez-Salas, Pedro González-Rodelas
Μορφή:	Artigo
Γλώσσα:	Inglês
Έκδοση:	MDPI AG 2023-12-01
Σειρά:	Axioms
Θέματα:	temporal logic free temporal algebras polymodal algebras
Διαθέσιμο Online:	https://www.mdpi.com/2075-1680/12/12/1111
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!