| 3 | | [collana] |
| 4 | | [dedica] |
| 4 | | [editore] |
| 5 | | [frontespizio] |
| 6 | | [copyright] |
| 7 | | Indice |
| 11 | | Prefazione |
| 15 | 1. | Richiami di logica classica |
| 15 | | Introduzione |
| 15 | | La sintassi della logica proposizionale classica |
| 18 | | La semantica della logica proposizionale classica |
| 20 | | Principali leggi e regole logiche |
| 21 | | Teoremi di correttezza e completezza |
| 23 | Parte prima | Logiche estensioni della logica classica |
| 27 | 2. | La semantica di Kripke |
| 27 | | Introduzione |
| 28 | | Strutture (Frames) |
| 30 | | Interpretazioni e verità in strutture modelli |
| 35 | | Concetti semantici |
| 39 | 3. | La logica modale minimale |
| 39 | | Introduzione |
| 39 | | Formule valide |
| 43 | | Formule non valide |
| 45 | | Il calcolo K della logica modale minimale |
| 49 | 4. | Logiche modali aletiche |
| 49 | | Introduzione |
| 50 | | La logica modale aletica minimale KT |
| 51 | | Il sistema KT4(S4) |
| 54 | | Il sistema KT5(S5) |
| 55 | | La modalità nei tre sistemi logici |
| 56 | | Logiche modali e implicazioni stretta |
| 59 | 5. | Logiche deontiche |
| 59 | | Introduzione |
| 61 | | a logica deontica minimale KD |
| 62 | | I sistemi D4 e D5 |
| 63 | | Rapporti fra logiche aletiche e deontiche |
| 65 | | Considerazioni sulle logiche deontiche |
| 67 | | Logica deontica e paradossii |
| 73 | 6. | Logiche epistemiche |
| 73 | | Introduzione |
| 74 | | La logica del sapere |
| 76 | | La logica del credere e altri sistemi |
| 78 | | Il problema dell'onniscienza logica |
| 81 | | Considerazioni sulle logiche epistemiche |
| 83 | 7. | Logiche temporali |
| 83 | | Introduzione |
| 84 | | Linguaggio e semantica della logica temporale |
| 85 | | Formule valide in ogni struttura |
| 87 | | La logica temporale minimale e le sue estensioni |
| 93 | | Considerazioni sulle logiche temporali |
| 95 | Parte seconda | Logiche alternative alla logica classica |
| 99 | 8. | Logiche polivalenti |
| 99 | | Introduzione |
| 100 | | La logica trivalente di Łukasiewicz |
| 102 | | La logica trivalente di Bochvar |
| 103 | | La logica trivalente di Kleene |
| 105 | | Altri sistemi polivalenti e conclusioni |
| 107 | 9. | Logiche della rilevanza |
| 107 | | Introduzione |
| 108 | | Il sistema R |
| 110 | | Il paradosso negativo, la regola del sillogismo disgiuntivo e considerazioni sulle derivazioni rilevanti |
| 111 | | Considerazioni semanntiche e conclusioni |
| 115 | 10. | Logiiche condizionali |
| 115 | | Introduzione |
| 116 | | Teorie consequenzialiste e compatibiliste |
| 118 | | Il sistema LCS di Stalnaker |
| 119 | | Il sistema LCL di Lewis |
| 121 | | Altri sistemi di logica condizionale |
| 122 | | Considerazioni sulle logiche condizionali |
| 125 | 11. | La logica intuizionista |
| 125 | | Introduzione |
| 126 | | Alcune caratteristiche della logica intuizionista |
| 128 | | Il calcolo proposizionale intuizionista |
| 131 | | Ulteriori considerazioni sulla logica intuizionista |
| 133 | 12. | Logiche paracoerenti |
| 133 | | Introduzione |
| 134 | | Logiche paracoerenti di Da Costa |
| 136 | | Altre logiche paracoerenti |
| 138 | | Considerazioni conclusive |
| 141 | Parte terza | Logiche per l'intelligenza artificiale |
| 145 | 13. | Logiche non monotone |
| 145 | | Introduzione |
| 146 | | La negazione come fallimento |
| 147 | | Logiche con default |
| 149 | | Logiche non monotone modali |
| 150 | | Logiche circoscrittive |
| 152 | | Semantica preferenziale e conclusioni |
| 155 | 14. | Logiche fuzzy |
| 155 | | Introduzione |
| 157 | | I connettivi nella logica fuzzy |
| 160 | | Il paradosso del mucchio di grano |
| 163 | 15. | Logica lineare |
| 163 | | Introduzione |
| 164 | | Regole additive e moltiplicative |
| 165 | | Le regole e i calcoli della logica lineare |
| 167 | | Il significato dei connettivi lineari |
| 171 | | Indice dei principali simboli e sistemi logici |
| 175 | | Note |
| 181 | | Bibliografia |
| 181 | | Manuali introduttivi di logica classica |
| 181 | | Manuali di logica classica |
| 182 | | Testi di logica modale aletica |
| 182 | | Testi di logica deontica |
| 182 | | Testi di logica epistemica |
| 183 | | Testi di logica temporale |
| 183 | | Testi di logica polivalente |
| 183 | | Testi di logica rilevante |
| 184 | | Testi di logica condizionale |
| 184 | | Testi di logica intuizionistica |
| 184 | | Testi di logica paracoerente |
| 185 | | Testi di logica non monotona |
| 185 | | Testi di logica fuzzy |
| 185 | | Testi di logica lineare e logiche substrutturali |
| 185 | | Testi miscellanei e vari |
| 186 | | _ |
| 187 | | [Quality Paperbacks] |
| 192 | | [tipografia] |
| 192 | | ___ |
