[comp.ai] temporal logic

fishwick@uflorida.cis.ufl.EDU (Paul Fishwick) (06/09/89)

Are there any available (i.e. FTP'able) temporal logic programming
languages floating around on the net? I would be most interested
to hear of any. Thanks.

-paul fishwick