A hierarchy of temporal logics with past
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- COMPLETENESS AND SOUNDNESS OF AXIOMATIZATIONS FOR TEMPORAL LOGICS WITHOUT NEXTFundamenta Informaticae, 1994
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- A hierarchy of temporal properties (invited paper, 1989)Published by Association for Computing Machinery (ACM) ,1990
- Temporal and Modal LogicPublished by Elsevier ,1990
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- A temporal fixpoint calculusPublished by Association for Computing Machinery (ACM) ,1988
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- The temporal logic of branching timeActa Informatica, 1983
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980