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):
Displayed 3 items.
- 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)