Pages that link to "Item:Q1295431"
From MaRDI portal
The following pages link to Dynamic linear time temporal logic (Q1295431):
Displaying 19 items.
- Visibly linear temporal logic (Q682377) (← links)
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- On regular temporal logics with past (Q977176) (← links)
- Dynamic linear time temporal logic (Q1295431) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Expressive Completeness for LTL With Modulo Counting and Group Quantifiers (Q2825418) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- Formal Verification for Components and Connectors (Q3638992) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- On the Model Checking Problem for Some Extension of CTL* (Q5060078) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
