Corso di logica modale proposizionale
Eugenio Orlandelli, Giovanna Corsi
- Edizione: Giugno 2019
- Collana: Studi Superiori
- ISBN: 9788843095261
- Pagine: 196
- Prezzo:
19,00 €18,05 €
In breve
Le logiche modali rappresentano uno dei campi più ricchi e innovativi della logica contemporanea, e date le loro molteplici applicazioni filosofiche, matematiche e informatiche risultano tra gli strumenti formali più importanti. Il volume tratta gli aspetti fondamentali sia a livello sintattico che semantico delle logiche modali proposizionali e ne presenta vari teoremi di completezza attraverso la tecnica dei modelli canonici, quella dei diagrammi e quella dei calcoli di sequenti con etichette. Vengono inoltre discusse diverse proprietà metateoriche quali canonicità, decidibilità, proprietà del modello finito, finita assiomatizzabilità, esprimibilità modale di proprietà del primo o del secondo ordine. Il testo, senza presupporre conoscenze specifiche se non quella della logica proposizionale classica, fornisce agli studenti di filosofia, matematica e informatica gli strumenti essenziali per un corso introduttivo alle logiche modali e alla loro metateoria.
Le logiche modali rappresentano uno dei campi più ricchi e innovativi della logica contemporanea, e date le loro molteplici applicazioni filosofiche, matematiche e informatiche risultano tra gli strumenti formali più importanti. Il volume tratta gli aspetti fondamentali sia a livello sintattico che semantico [...]
Eugenio Orlandelli
È assegnista di ricerca presso il Dipartimento di Filosofia e Comunicazione dell’Università di Bologna. La sua ricerca verte sulle logiche modali e la teoria della dimostrazione.
Giovanna Corsi
È professore ordinario di Logica presso il Dipartimento di Filosofia e Comunicazione dell’Università di Bologna. Si è occupata principalmente di logiche non-classiche sia da un punto di vista semantico che di teoria della dimostrazione. È riconosciuta internazionalmente come esperta di logiche modali quantificate.