| | | Prefazione |
| | | [titolo] |
| | 1. | Linguaggio e semantica |
| | | Linguaggio |
| | | Semantica |
| | | Schemi validi e non validi |
| | | Regole che conservano la validità |
| | | Che cos'è una logica modale normale? |
| | | Chiusura riflessiva e transitiva |
| | 2. | Corrispondenza e non esprimibilità |
| | | Risultati di corrispondenza |
| | | Proprietà non esprimibili |
| | 3. | Logiche normali |
| | | La logica K |
| | | Alcune estensioni di K |
| | | Validità |
| | | Modalità |
| | 4. | Completezza via modello canonico |
| | | Proprietà di insiemi di formule |
| | | Modelli canonici |
| | | Completezza via canonicità |
| | 5. | Corrispondenza vs completezza e incompletezza |
| | | Incompletezza |
| | | Strutture generali |
| | | Incompletezza di KVB |
| | 6. | Modelli finiti e decidibilità |
| | | Nozioni preliminari |
| | | Filtrazione e modelli finiti |
| | 7. | K: la logica della dimostrabilità |
| | | Modalità in KW |
| | 8. | Diagrammi per estensioni di K4.3 |
| | | Diagrammi finiti per K4.3 |
| | | Completezza per alcune estensioni di K4.3 |
| | | Sulle estensioni di K4.3 che dimostrano T |
| | 9. | Sequenti etichettati |
| | | Nozioni introduttive |
| | | Il calcolo G3.K |
| | | Alcune estensioni di G3.K |
| | | Elementi base di metateoria |
| | | Validità e completezza |
| | | Proprietà strutturali |
| | | Decidibilità |
| | | Identità e proprietà inesprimibili |
| | | Bibliografia |
| | | Indice analitico |
| | | _ |
| | | ___ |