Pages that link to "Item:Q2716929"
From MaRDI portal
The following pages link to Reasoning about actions in dynamic linear time temporal logic (Q2716929):
Displayed 4 items.
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)