Pages that link to "Item:Q3010361"
From MaRDI portal
The following pages link to Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361):
Displaying 6 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \textsc{ExpSpace-complete} (Q6563047) (← links)
- Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete (Q6649523) (← links)
