Re: Definitive temporal logic source

Article View: sci.logic

Article #615

#615

From: Ian A. Mason
Date: Tue, 26 Jan 1993 00:05

2 lines
659 bytes

there is also another book in the csli series that is relevant,
namely goldblatt's (second edition of) logics of time and computation.

Technical Details

Message-ID: <1993Jan26.000525.24988@CSD-NewsHost.Stanford.EDU>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!CS.Stanford.EDU!iam

References: <1993Jan25.174241.23043@guinness.idbsu.edu> <1k1ru9INNlhg@tamsun.tamu.edu>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic,comp.lang.prolog,sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!CS.Stanford.EDU!iam
From: iam@CS.Stanford.EDU (Ian A. Mason)
Subject: Re: Definitive temporal logic source
Message-ID: <1993Jan26.000525.24988@CSD-NewsHost.Stanford.EDU>
Sender: news@CSD-NewsHost.Stanford.EDU
Organization: Computer Science Department, Stanford University
References: <1993Jan25.174241.23043@guinness.idbsu.edu> <1k1ru9INNlhg@tamsun.tamu.edu>
Date: Tue, 26 Jan 1993 00:05:25 GMT
Lines: 2

Reply to Parent Message