Modal logic can be characterized as the logic of necessity and possibility- of must be and may be - and related concepts. This is a succinct introduction to modern modal logic suitable for introductory courses. Mints presents both semantic and syntactic features of modal logic and illustrates them by detailed analysis of the three best-known and most-often-sited modal systems, S5, S4, and T. The text presupposes some knowledge of classical propositional logic and its notation, however the necessary information is recapitulated at the outset. To avoid a potential source of difficulty for beginners, the axiomatic treatment of the systems is postponed to the final chapter. Mints concentrates on the logical aspects of the subject and provides philosophical motivations to show the point of the formal work. A set of exercises is included.
(1939–2014)) was a professor of philosophy and computer science at Stanford University and was previously a principal research associate at the Institute of Cybernetics of the Estonian Academy of Sciences.