Path: utzoo!mnetor!uunet!lll-winken!lll-tis!ames!killer!usl!cal
From: cal@usl (Craig Anthony Leger)
Newsgroups: comp.ai
Subject: Re: Modal Logic and AI -- References Needed
Message-ID: <480@usl>
Date: 30 Mar 88 01:22:23 GMT
References: <1988Feb27.021115.11206@gpu.utcs.toronto.edu>
Reply-To: cal@usl.usl.edu.UUCP (Craig Anthony Leger)
Distribution: na
Organization: CACS, Univ of SW La, Lafayette, LA
Lines: 60

In article <1988Feb27.021115.11206@gpu.utcs.toronto.edu> 
kurfurst@gpu.utcs.toronto.edu (Thomas Kurfurst) writes:
>I am seeking references to seminal works relating modal logic to artifical
>intelligence research, especially more theoretical (philosophical)
>papers rather than applications per se.

This is a list that I sent to a friend a couple of months ago.
These works do not represent current research in modal logic,
but are very useful as starting points and as standard reference works.
The comments are highly subjective, but provide some indication
as to whether the work has a philosophical or mathematical perspective.

%H BC 51 B64
%A Raymond Bradley
%A Norman Swartz
%T Possible Worlds:  An Introduction to Logic and Its Philosophy
%I Hackett
%C Indianapolis, Indiana
%D 1979
%X
This is a very enjoyable work that looks at modal logic
from the perspective of the philosopher.  Numerous sections
dealing with the relation between symbolic logic and
epistemology and the philosophy of science.  Sections 4.5 
and 4.6 (pp. 205-245), together with a table (pp. 327-28),
are the most valuable parts of the book.

%H BC 135 L43
%A Clarence Irving Lewis
%A Cooper Harold Langford
%T Symbolic Logic
%I The Century Company
%C New York
%D 1932
%S The Century Philosophy Series
%E Sterling P. Lamprecht
%X
The classic work on modal logic.  Good essays on the notions
of logical implication and deduction.

%H BC 135 W7
%A Georg Henrik von Wright
%T An Essay in Modal Logic
%I North-Holland
%C Amsterdam
%D 1951
%S Studies in Logic and the Foundations of Mathematics
%E L. E. J. Brouwer, E. W. Beth, A. Heyting
%X
This is a very short work (90 pp.), yet perhaps the most illuminating.
Modal logic is treated almost entirely on the symbolic level;
very little discussion of conflicting interpretations.
It is my major source for those (relatively) undisputed results
in modal logic.

Bradley & Swartz  --  Lewis  --  von Wright
<== most philosophical most mathematical ==>

Good reading to you,
Craig Anthony Leger
cal@usl.usl.edu