Pages that link to "Item:Q3985545"
From MaRDI portal
The following pages link to A Modal Logic for Chopping Intervals (Q3985545):
Displaying 7 items.
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities (Q6551701) (← links)
- Some extensions to propositional mean-value calculus: expressiveness and decidability (Q6560182) (← links)
- Unary and two-variable interval logics (Q6601763) (← links)
- Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete (Q6649523) (← links)