Dynamic linear time temporal logic
- 1 March 1999
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 96 (1-3) , 187-207
- https://doi.org/10.1016/s0168-0072(98)00039-6
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Dynamic Linear Time Temporal LogicBRICS Report Series, 1997
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- Process logic: Expressiveness, decidability, completenessJournal of Computer and System Sciences, 1982
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- Descriptively complete process logicActa Informatica, 1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966