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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Book by Mints Grigori
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 2,00 per la spedizione da Irlanda a Italia
Destinazione, tempi e costiDa: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New. 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
Quantità: 15 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Hardback. Condizione: New. New copy - Usually dispatched within 7-11 working days. 384. Codice articolo B9780937073766
Quantità: 15 disponibili
Da: Kennys Bookstore, Olney, MD, U.S.A.
Condizione: New. 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. . . . . Books ship from the US and Ireland. Codice articolo V9780937073766
Quantità: 15 disponibili
Da: INDOO, Avenel, NJ, U.S.A.
Condizione: New. Brand New. Codice articolo 9780937073766
Quantità: Più di 20 disponibili
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Hardcover. Condizione: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780937073766
Quantità: 1 disponibili
Da: AussieBookSeller, Truganina, VIC, Australia
Hardcover. Condizione: new. Hardcover. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9780937073766
Quantità: 1 disponibili