Decision procedures and expressiveness in the temporal logic of branching time
- 1 February 1985
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 30 (1) , 1-24
- https://doi.org/10.1016/0022-0000(85)90001-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Alternative semantics for temporal logicsTheoretical Computer Science, 1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Deterministic propositional dynamic logic: Finite models, complexity, and completenessJournal of Computer and System Sciences, 1982
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- Propositional Dynamic Logic of looping and conversePublished by Association for Computing Machinery (ACM) ,1981
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979