Pages that link to "Item:Q3185763"
From MaRDI portal
The following pages link to Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763):
Displaying 3 items.
- The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features (Q6545542) (← links)
- Exploring non-regular extensions of propositional dynamic logic with description-logics features (Q6563054) (← links)