Article View: sci.logic
Article #611Re: Definitive temporal logic source
From: Randall Holmes
Date: Mon, 25 Jan 1993 17:42
Date: Mon, 25 Jan 1993 17:42
23 lines
1485 bytes
1485 bytes
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. It seems to have an adequate discussion of the topic. E-mail me if you want the author's name later; my terminal and said book live in different places. -- The opinions expressed | --Sincerely, above are not the "official" | M. Randall Holmes opinions of any person | Math. Dept., Boise State Univ. or institution. | holmes@opal.idbsu.edu
Technical Details
Message-ID:
<1993Jan25.174241.23043@guinness.idbsu.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmesReferences:
<1993Jan23.114811.28054@city.cs>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic,comp.lang.prolog,sci.math Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmes From: holmes@opal.idbsu.edu (Randall Holmes) Subject: Re: Definitive temporal logic source Message-ID: <1993Jan25.174241.23043@guinness.idbsu.edu> Sender: usenet@guinness.idbsu.edu (Usenet News mail) Nntp-Posting-Host: opal Organization: Boise State University References: <1993Jan23.114811.28054@city.cs> Date: Mon, 25 Jan 1993 17:42:41 GMT Lines: 23