Expressibility results for linear-time and branching-time logics
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 428-437
- https://doi.org/10.1007/bfb0013029
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Characterizing Kripke Structures in Temporal Logic.Published by Defense Technical Information Center (DTIC) ,1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- "Sometimes" and "not never" revisitedPublished by Association for Computing Machinery (ACM) ,1983
- The temporal logic of branching timePublished by Association for Computing Machinery (ACM) ,1981
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- Infinite sequences and finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1963