A - The what, why, where,… of modal logic
Published online by Cambridge University Press: 05 November 2011
Summary
Introduction
This chapter is one of the first parts of this book that you should read. You might think this is a little strange since it is also one of the last things in the book. However, all of the material in this chapter should appear somewhere, and I believe that it is better if it is all in one place rather than scattered throughout the book. This position is as good as any.
Beginning
Put yourself in the position of a complete beginner to modal logic; someone who already knows the basics of propositional and predicate logic and who now wants to learn something of modal logic. (You may actually be such a person.) There are many reasons why you may want to do this, from mere curiosity to an eventual use in a particular application. What should you do to acquire this knowledge?
One thing you could do is attend a course on modal logic, but let us assume that this is not an option. The other thing to do is read various text books on the subject. Which ones? There are, in fact, only a few possibilities.
The first possibility is [29] by Hughes and Cress well, first published in 1968. This, at the time it was written, was the most comprehensive and accessible introduction to the subject. It contains descriptions of many of the systems that were, and to some extent still are, of interest.
- Type
- Chapter
- Information
- First Steps in Modal Logic , pp. 237 - 246Publisher: Cambridge University PressPrint publication year: 1994