CSLI Publications logo
new books
contact us
for authors
CSLI Publications

A Short Introduction to Modal Logic

Grigori Mints

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.

Grigori Mints (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.


ISBN (Paperback): 9780937073759 (093707375X)
ISBN (Cloth): 9780937073766 (0937073768)
Subject: Logic; Modality

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu