A Short Introduction to Modal Logic

by Grigori Mints

Overview

Modal Logic can be characterized as the logic of necessity and possibility, of 'must be' and 'may be'. A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of the subject and provides philosophical motivations to show the point of the formal work. The coverage is self-contained, including a summary of the necessary aspects of classical logic which it presupposes. A set of exercises is included in the final chapter.

Product Details

ISBN-13:	9780937073766
Publisher:	Center for the Study of Language and Inf
Publication date:	09/15/1992
Series:	Lecture Notes , #30
Pages:	100
Product dimensions:	6.00(w) x 9.00(h) x 0.50(d)

Table of Contents

Introduction; 1. Classical propositional logic; 2. Classical monadic predicate logic; 3. The system S5; 4. System T; 5. System S4; 6. Hilbert-type axiomatizations; Exercises.

Editorial Reviews

Presents both the semantical and the syntactical features of modal logic--the logic of "must be" and "may be"--for students with some previous knowledge of classical logic. No index or bibliography. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews