Pages that link to "Item:Q3644762"
From MaRDI portal
The following pages link to A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762):
Displaying 7 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Subject-oriented spatial logic (Q821569) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- Interval-based temporal functional dependencies: specification and verification (Q2251126) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- A Logic of East and West (Q5881809) (← links)
- Decision tree learning with spatial modal logics (Q6649530) (← links)