Checksum: 49263
Path: utzoo!utgpu!kurfurst
From: kurfurst@gpu.utcs.toronto.edu (Thomas Kurfurst)
Date: Sat, 27-Feb-88 02:11:15 EST
Message-ID: <1988Feb27.021115.11206@gpu.utcs.toronto.edu>
Organization: University of Toronto Computing Services
Newsgroups: comp.ai
Subject: Modal Logic and AI -- References Needed
Distribution: na



I am seeking references to seminal works relating modal logic to artifical
intelligence research, especially more theoretical (philosophical)
papers rather than applications per se.

Any and all pointers will be greatly appreciated - I am having trouble
tracking these down myself. Thanks in advance.



-- 

________                                                                   

Thomas Kurfurst      kurfurst@gpu.utcs.toronto.edu (CSnet,UUCP,Bitnet)
205 Wineva Road      kurfurst@gpu.utcs.toronto.cdn (EANeX.400)
Toronto, Ontario     {decvax,ihnp4,utcsri,{allegra,linus}!utzoo}!utcs!kurfurst 
CANADA M4E 2T5       kurfurst%gpu.utcs.toronto.edu@relay.cs.net (CSnet)
(416) 699-5738

________