Corsi, Giovanna Archivi - libreria Alfani - Firenze https://librerialfani.it/autore/corsi-giovanna/ Sat, 21 Mar 2026 20:06:10 +0000 it-IT hourly 1 https://librerialfani.it/wp-content/uploads/2026/01/cropped-favicon_ok-32x32.png Corsi, Giovanna Archivi - libreria Alfani - Firenze https://librerialfani.it/autore/corsi-giovanna/ 32 32 Corso di logica modale proposizionale https://librerialfani.it/prodotto/corso-di-logica-modale-proposizionale/ https://librerialfani.it/prodotto/corso-di-logica-modale-proposizionale/#respond Mon, 05 Jan 2026 17:18:26 +0000 https://librerialfani.it/prodotto/corso-di-logica-modale-proposizionale/ Le logiche modali rappresentano uno dei campi più ricchi e innovativi della logica contemporanea, e date le loro molteplici applicazioni […]

L'articolo Corso di logica modale proposizionale proviene da libreria Alfani - Firenze.

]]> 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.

L'articolo Corso di logica modale proposizionale proviene da libreria Alfani - Firenze.

]]> https://librerialfani.it/prodotto/corso-di-logica-modale-proposizionale/feed/ 0