Pages that link to "Item:Q1295431"
From MaRDI portal
The following pages link to Dynamic linear time temporal logic (Q1295431):
Displayed 9 items.
- 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)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← 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)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)