Short Introduction to Modal Logic

Grigori Mints (Autor)

Buch | Softcover

110 Seiten

1992
Centre for the Study of Language & Information (Verlag)
978-0-937073-75-9 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

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.

Erscheint lt. Verlag	15.9.1992
Reihe/Serie	Center for the Study of Language and Information Publication Lecture Notes ; 30
Verlagsort	Stanford
Sprache	englisch
Maße	153 x 229 mm
Gewicht	198 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-937073-75-X / 093707375X
ISBN-13	978-0-937073-75-9 / 9780937073759
Zustand	Neuware