Pages that link to "Item:Q3497515"
From MaRDI portal
The following pages link to Past–future separation and normal forms in temporal predicate logic specifications (Q3497515):
Displaying 5 items.
- A transformation-based synthesis of temporal specification (Q1906037) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- How the brain creates emergent information by the development of mental models: an analysis from the perspective of temporal factorisation and criterial causation (Q2098429) (← links)
- A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic (Q3520238) (← links)
- A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution (Q4351796) (← links)