Dynamic linear time temporal logic
Under an Elsevier user license
open archive
MSC
03B45
03B70
68Q60
68Q68
Keywords
Linear time temporal logic
Dynamic logic
ω-automata
Expressive completeness
Axiomatizations
Cited by (0)
- 1
Basic Research in Computer Science, Centre of the Danish National Research Foundation.
- 2
Part of this work was done while visiting BRICS. Part of this work has been supported by the Indo-French Centre for the Promotion of Advanced Research (IFCPAR) project 1502-1.
Copyright © 1999 Published by Elsevier B.V.