Path: utzoo!mnetor!uunet!husc6!think!ames!eos!aurora!labrea!decwrl!ucbvax!ANDREW.CMU.EDU!lb0q+
From: lb0q+@ANDREW.CMU.EDU (Leslie Burkholder)
Newsgroups: comp.ai.digest
Subject: modal logic references
Message-ID: <QW=BlVy00Wo1yLY0Py@andrew.cmu.edu>
Date: 3 Mar 88 04:09:05 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 5
Approved: ailist@kl.sri.com


Try
Introductory Modal Logic, K Konyndyk, U of Notre Dame Press, 1986.

LB