A Hierarchy of Temporal Logics with Past (Extended Abstract)

[1]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[2]  Joseph Y. Halpern,et al.  Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.

[3]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.

[4]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[5]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[6]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[7]  Edward Y. Chang,et al.  Characterization of Temporal Property Classes , 1992, ICALP.

[8]  Philippe Schnoebelen,et al.  Translation Results for Modal Logics of Reactive Systems , 1993, AMAST.

[9]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[10]  Zohar Manna,et al.  The anchored version of the temporal framework , 1988, REX Workshop.

[11]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Moshe Y. Vardi.  A temporal fixpoint calculus , 1988, POPL '88.

[13]  Wolfgang Thomas,et al.  Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree , 1987, ICALP.

[14]  Louise E. Moser,et al.  Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next , 1994, Fundam. Informaticae.

[15]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[16]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.