🚀 go-pugleaf

holmes@opal.idbsu.edu (Randall Holmes) writes:
: In article <1993Jan23.114811.28054@city.cs> mb108@cs.city.ac.uk (omo ADELAKUN T K) writes:
: >Can anyone point me to a very good text on temporal logic? In the same
: >vein, does anyone know of a temporal logic interpreter (something along
: >the lines of Prolog or extensions thereto)?
: >
: >Thanx for any responses - which I'd prefer to come to me direct so I can 
: >post a summary.
: >
: >Toyin.
: 
: I won't commit myself on "very good", but the book I have on temporal
: and other modal logics is "A Manual of Intensional Logic" (I can't
: recall the author) from the Center for the Study of Language and
: Information at Stanford. 

N. Rescher and ? Urquhart, Temporal Logic, 1977 Just look for
Rescher in your lib catalogue.

F. Kr\"oger, Temporal Logic of Programs, Springer, 1988

R. Goldblatt, Logics of Time and Computation, CLSI, 1987

There is a programming language that is to temporal logic
what prolog is to first order logic. Try anon ftp to
m1.cs.man.ac.uk and have a look in pub/TRS.

Gavan Tredoux
UCT