From ???@??? Mon Aug 30 14:01:27 1999
X-Sieve: cmu-sieve 1.3
Return-Path: <kk3n+@andrew.cmu.edu>
Received: from po9.andrew.cmu.edu (PO9.ANDREW.CMU.EDU [128.2.10.109]) by mail1.andrew.cmu.edu (8.9.3/8.8.2) with ESMTP id JAA22784 for <awodey+@MAIL1.ANDREW.cmu.edu>; Mon, 30 Aug 1999 09:38:55 -0400 (EDT)
Received: (from postman@localhost)
	by po9.andrew.cmu.edu (8.9.3/8.9.3) id JAA21199
	for awodey+@MAIL1.ANDREW.CMU.EDU; Mon, 30 Aug 1999 09:38:55 -0400 (EDT)
Received: via switchmail; Mon, 30 Aug 1999 09:38:55 -0400 (EDT)
Received: from pcs4.andrew.cmu.edu via qmail
          ID </afs/andrew.cmu.edu/service/mailqs/q002/QF.crmcY2m00Ui301JWw0>;
          Mon, 30 Aug 1999 09:37:06 -0400 (EDT)
Received: from pcs4.andrew.cmu.edu via qmail
          ID </afs/andrew.cmu.edu/usr13/kk3n/.Outgoing/QF.ArmcY2S00Ui302NVg0>;
          Mon, 30 Aug 1999 09:37:06 -0400 (EDT)
Received: from mms.4.170.Jun.27.1996.16.34.50.sun4.51.MacMail.5.2.CUILIB.3.45.SNAP.NOT.LINKED.pcs4.andrew.cmu.edu.sun4m.54
          via MS.5.6.pcs4.andrew.cmu.edu.sun4_51;
          Mon, 30 Aug 1999 09:37:06 -0400 (EDT)
Message-ID: <srmcY2O00Ui302NVY0@andrew.cmu.edu>
Date: Mon, 30 Aug 1999 09:37:06 -0400 (EDT)
From: Kevin T Kelly <kk3n+@andrew.cmu.edu>
To: Steven M Awodey <awodey+@cmu.edu>
Subject: Re: advice on modal logic
Cc: 
In-Reply-To: <v01540b01b3ef397e2bc7@[128.2.116.143]>
References: <v01540b01b3ef397e2bc7@[128.2.116.143]>

Steve:

Chellas' book is nice and elementary.

Ihave a nice stanford volume on tense applications to CS that picks up
where Chellas leaves off.

There are two new papers on tense logic in the current JPL.  

Best,
Kevin