lb0q+@ANDREW.CMU.EDU (Leslie Burkholder) (03/03/88)
Try Introductory Modal Logic, K Konyndyk, U of Notre Dame Press, 1986. LB
ladkin@KESTREL.ARPA (Peter Ladkin) (04/14/88)
Others have mentioned the books by Hughes and Cresswell (there are two, the Introduction and the Companion), the Handbook of Philosophical Logic volume 2 (articles by many) and Johan van Benthem's monograph on Modal Logic and Correspondence Theory (Bibliopolis, Naples, available through Humanities Press here, i think). There are other important and helpful works. Brian Chellas's book Modal Logic (Cambridge) is widely available and easy to read. Lemmon and Scott's monograph on Modal Logic (Blackwell) is a classic, but may not be in print. Kripke's original articles are well worth reading. Johan van Benthem has another monograph, A Manual of Intensional Logic, in the CSLI lecture note series (U. Chicago), and Goldblatt has a volume on Logics of Time and Computation in the same series. Segerberg's thesis is unfortunately not widely available. Gabbay has a book on his work with modal logics (Reidel), containing a good number of his highly technical results, but is not really an introduction. Since temporal logics are a form of modal logic, I also recommend van Benthem's monograph (yes, he is prolific) on The Logic of Time (Reidel). For the provability logic, Boolos's book was mentioned, and there is another by Craig Smorynski, Self Reference and Modal Logic (Springer), which studies the provability logic in detail. There is also substantial literature on the algebraic approach to modal logics - just as propositional logic and Boolean algebras correspond, so normal modal propositional logics correspond to Boolean algebras with an extra unary operator. But that is another story. peter ladkin ladkin@kestrel.arpa