Path: utzoo!utgpu!water!watmath!clyde!rutgers!rochester!cornell!batcomputer!dailey
From: dailey@batcomputer.tn.cornell.edu (John H. Dailey)
Newsgroups: comp.ai
Subject: Re: Modal Logic and AI -- References Needed
Message-ID: <4377@batcomputer.tn.cornell.edu>
Date: 11 Apr 88 04:25:39 GMT
References: <1988Feb27.021115.11206@gpu.utcs.toronto.edu> <480@usl> <4366@batcomputer.tn.cornell.edu>
Reply-To: dailey@tcgould.tn.cornell.edu (John H. Dailey)
Distribution: na
Organization: Cornell Theory Center, Cornell University, Ithaca NY
Lines: 10
Keywords:


                     

 Ooops. In a previous article I credited Steward Shapiro's Intentional Math. to
 D. Gallin. I meant to recommend D. Gallin, Intensional and Higher Order Logic,
 North Holland, 1975. Perhaps a good starting reference for various aspects of
 modal logic is the Handbook of Philosophical Logic, Vol. II, ed. D. Gabbay 
 and F. Guenthner, D. Reidel, 1984.

                                 -John H. Dailey