Temporal logic can be more expressive
- 1 January 1983
- journal article
- Published by Elsevier in Information and Control
- Vol. 56 (1-2) , 72-99
- https://doi.org/10.1016/s0019-9958(83)80051-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- Software Specification Languages Based on Regular ExpressionsPublished by Springer Nature ,1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Theory of ω-languagesI: Characterizations of ω-context-free languagesJournal of Computer and System Sciences, 1977
- Path ExpressionsPublished by Defense Technical Information Center (DTIC) ,1975
- Relationships between nondeterministic and deterministic tape complexitiesJournal of Computer and System Sciences, 1970