Handbook of Modal Logic
by Patrick Blackburn, Johan van Benthem, Frank Wolter
Number of pages: 1260
This Handbook documents the current state of modal logic, a lively area of logical research which was born in philosophy, but which has since made its way into mathematics, linguistics, computer science, AI, and even economic game theory.
Home page url
Download or read it online for free here:
(multiple PDF files)
by Edward N. Zalta - Stanford University
This is a text for dedicated undergraduates with no previous experience in modal logic. The book should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem.
by Evgeni Latinov - OTexts
The notions of strict, logical necessity and possibility and problems connected with them are treated in the book with the resources of modal symbolic logic. In general a balance is struck between philosophical and technical treatment of the issues.
by Robert Goldblatt - CSLI Publications
Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements. This volume collects the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals.
by Mai Gehrke, Yde Venema - ESSLLI
Apart from giving a general introduction to the fundamental ideas and methods of applying algebra in logic, the purpose of this text is to present recent developments from algebra as well as modal logic, in an integrated format.