Short Introduction to Modal Logic (Paperback)

Grigori Mints

ISBN 10: 093707375X / ISBN 13: 9780937073759

Editore: Centre for the Study of Language & Information, Stanford, 1992

Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780937073759

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.

Dati bibliografici

Titolo: Short Introduction to Modal Logic (Paperback)
Casa editrice: Centre for the Study of Language & Information, Stanford
Data di pubblicazione: 1992
Legatura: Paperback
Condizione: new