BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-86-1109
       ENTRY:: May 01, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: A proof editor for propositional temporal logic
        TYPE:: Technical Report
      AUTHOR:: Casley, Ross
        DATE:: May 1986
       PAGES:: 28
    ABSTRACT:: This report describes PTL, a program to assist in
               constructing proofs in propositional logic extended by the
               operators $\Box$ ("always"), $\Diamond$ ("eventually") and
               $\bigcirc$ ("at the next step"). This is called propositional
               temporal logic and is one of two systems of logic presented
               by Abadi and Manna in [1].
       NOTES:: [Adminitrivia V1/Prg/19950501]
         END:: STAN//CS-TR-86-1109