Short Introduction to Modal Logic
Grigori Mints(Author)
The Center for the Study of Language and Information Publications (Publisher)
Published on 1. June 1992
Book
Hardback
112 pages
978-0-937073-76-6 (ISBN)
Unfortunately, price unknown
No shipping information available
Description
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.
More details
Series
Language
English
Place of publication
New York
United States
Publishing group
Cambridge University Press
Target group
Professional and scholarly
Dimensions
Height: 237 mm
Width: 156 mm
Thickness: 13 mm
Weight
354 gr
ISBN-13
978-0-937073-76-6 (9780937073766)
Schweitzer Classification
Content
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.