Expressibility results for linear-time and branching-time logics
Authors:
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 428-437
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Characterizing Kripke Structures in Temporal Logic.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" revisited1983
- The temporal logic of branching time1981
- "Sometime" is sometimes "not never"1980
- Infinite sequences and finite machines1963