Pages that link to "Item:Q5459725"
From MaRDI portal
The following pages link to Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725):
Displaying 5 items.
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← links)
- On the existence and unicity of stable models in normal residuated logic programs (Q2887039) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
- Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity (Q4323829) (← links)