C Libri
Libri di Titolo C pubblicati nella collana Studi Superiori con argomento Logica
Prossime uscite della collana Studi Superiori
Libri previsti in uscita su Unilibro.it:
- 9788843084814 Metodi quantitativi della ricerca sociale
- 9788843070190 Paleantropologia. Un'introduzione
- 9788843055258 Lineamenti di contabilità economica nazionale
- 9788829037865 L'America Latina contemporanea
- 9788829037490 Macroeconomia
- 9788829037483 Handbook of technical and scie
- 9788829037476 Introduzione all'ebraico bibli
- 9788829037469 Ricerca empirica in psicoterapia
- 9788829037452 Questioni filosofiche contemporanee
- 9788829037445 Le donne nell'Antica Grecia
Corso di logica modale proposizionale Orlandelli Eugenio Corsi Giovanna - Carocci, 2019 - Studi Superiori
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.