Short Introduction to Modal Logic

Mints, G.

ISBN 10: 0937073768 / ISBN 13: 9780937073766

Editore: The University of Chicago Press, 1992

Riguardo questo articolo

This text presents semantic and syntactic features of modal logic and illustrates them by analyses of three 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. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 112 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 237 x 156 x 13. Weight in Grams: 354. . 1992. 1st Edition. Hardcover. . . . .

Codice articolo V9780937073766

Dati bibliografici

• Titolo: Short Introduction to Modal Logic
• Editore: The University of Chicago Press
• Data di pubblicazione: 1992
• Lingua: Inglese
• ISBN 10: 0937073768
• ISBN 13: 9780937073766
• Rilegatura: Rilegato
• Edizione: prima edizione
• Condizione: New

Descrizione articolo

Riassunto

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.

Contenuti

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.