Temporal and dynamic logic
From MaRDI portal
Recommendations
Cited in
(24)- Dynamic linear time temporal logic
- A system for deduction-based formal verification of workflow-oriented software models
- Temporal logic with recursion
- Temporal logic and state systems
- Unified temporal logic
- Dynamic Logic Model of Time Axes in Temporal Database
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- Temporal logic and applications—a tutorial
- scientific article; zbMATH DE number 139996 (Why is no real title available?)
- scientific article; zbMATH DE number 1222484 (Why is no real title available?)
- scientific article; zbMATH DE number 1271171 (Why is no real title available?)
- A really temporal logic
- scientific article; zbMATH DE number 1754681 (Why is no real title available?)
- scientific article; zbMATH DE number 4119592 (Why is no real title available?)
- scientific article; zbMATH DE number 1569132 (Why is no real title available?)
- Temporal theories of reasoning
- On temporal and separation logics
- Substructure Temporal Logic
- scientific article; zbMATH DE number 6787711 (Why is no real title available?)
- scientific article; zbMATH DE number 4182845 (Why is no real title available?)
- Formal Modeling and Analysis of Timed Systems
- On the decidability of a fragment of preferential LTL
- Temporal Logic
- Temporal landscapes: a graphical logic of behavior
This page was built for publication: Temporal and dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851821)
