Alternative semantics for temporal logics
- 30 September 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 26 (1-2) , 121-130
- https://doi.org/10.1016/0304-3975(83)90082-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- Process logic: Expressiveness, decidability, completenessJournal of Computer and System Sciences, 1982
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Process logicPublished by Association for Computing Machinery (ACM) ,1979
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977