Pages that link to "Item:Q4736752"
From MaRDI portal
The following pages link to An infinitary variant of Metric Temporal Logic over dense time domains (Q4736752):
Displaying 6 items.
- Programming in metric temporal logic (Q1128978) (← links)
- On Process-Algebraic Extensions of Metric Temporal Logic (Q3163409) (← links)
- A note on unbounded metric temporal logic over dense time domains (Q3419667) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
- A two‐dimensional metric temporal logic (Q5112385) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)