Corso di logica modale proposizionale

Listadelpopolo.it Corso di logica modale proposizionale Image
DESCRIZIONE
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.

INFORMAZIONE

DATA: 2019

ISBN: 9788843095261

DIMENSIONE: 4,68 MB

Leggi il libro Corso di logica modale proposizionale PDF direttamente nel tuo browser online gratuitamente! Registrati su listadelpopolo.it e trova altri libri di Eugenio Orlandelli,Giovanna Corsi!

Corso di logica modale proposizionale - Eugenio Orlandelli ...

Acquista online il libro Corso di logica modale proposizionale di Giovanna Corsi, Eugenio Orlandelli in offerta a prezzi imbattibili su Mondadori Store.

CORSO DI LOGICA MODALE PROPOSIZIONALE - Orlandelli Eugenio ...

Corso di logica modale proposizionale, Libro di Eugenio Orlandelli, Giovanna Corsi. Sconto 5% e Spedizione con corriere a solo 1 euro. Acquistalo su libreriauniversitaria.it! Pubblicato da Carocci, collana Studi superiori, brossura, data pubblicazione giugno 2019, 9788843095261.