From ???@??? Mon Aug 30 14:01:09 1999
X-Sieve: cmu-sieve 1.3
Return-Path: <hcosta+@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 QAA17361 for <awodey+@MAIL1.ANDREW.cmu.edu>; Sun, 29 Aug 1999 16:44:23 -0400 (EDT)
Received: (from postman@localhost)
	by po9.andrew.cmu.edu (8.9.3/8.9.3) id QAA14300
	for awodey+@MAIL1.ANDREW.CMU.EDU; Sun, 29 Aug 1999 16:44:23 -0400 (EDT)
Received: via switchmail; Sun, 29 Aug 1999 16:44:23 -0400 (EDT)
Received: from pcs9.andrew.cmu.edu via qmail
          ID </afs/andrew.cmu.edu/service/mailqs/q006/QF.wrmNhai00Ui801Jh00>;
          Sun, 29 Aug 1999 16:43:18 -0400 (EDT)
Received: from pcs9.andrew.cmu.edu via qmail
          ID </afs/andrew.cmu.edu/usr21/hcosta/.Outgoing/QF.krmNhaO00Ui805yUw0>;
          Sun, 29 Aug 1999 16:43:18 -0400 (EDT)
Received: from mms.4.170.Jun.27.1996.16.34.50.sun4.51.MacMail.5.2.CUILIB.3.45.SNAP.NOT.LINKED.pcs9.andrew.cmu.edu.sun4m.54
          via MS.5.6.pcs9.andrew.cmu.edu.sun4_51;
          Sun, 29 Aug 1999 16:43:18 -0400 (EDT)
Message-ID: <ErmNhaO00Ui805yUo0@andrew.cmu.edu>
Date: Sun, 29 Aug 1999 16:43:18 -0400 (EDT)
From: Horacio Arlo-Costa <hcosta+@andrew.cmu.edu>
To: Steven M Awodey <awodey+@cmu.edu>
Subject: Re: advice on modal logic
Cc: Horacio Arlo-Costa <hcosta+@andrew.cmu.edu>
In-Reply-To: <v01540b01b3ef397e2bc7@[128.2.116.143]>
References: <v01540b01b3ef397e2bc7@[128.2.116.143]>

Dear Steve:

Modal logic:


>>1. What books and papers do you consider "standard" or "classic"?


>>2. What books and papers do you consider especially good?


>>3.  What recent work do you consider particularly interesting or >>promising?


Items 2 and 3 require a long answer, which I can eventually provide verbally.

As to 1.  Well, Scott's `Advice in modal logic' is a classic piece that
you probably know.

Books.  This branches into books and textbooks. Recent and interesting
books probably goes together with items 2 and 3, so I will skip this in
this quick response.


Some ideas about textbooks.  Perhaps three recent textbooks can be
mentioned.  One not so recent: Chellas' book, and the new edition of E.
Hughes and M. J. Creswell's book dealing with first order modal logic as
well as the recent book by Melvin Fitting and Richard L. Mendelsohn
(First-Order Modal Logic).  The last one seems the best under both a
philosophical and logical point of view -- although several branches of
modal logic (like epistemic logic) are neglected.

Let me know if you need more specific references.

Best,

--H.