Il tuo browser non supporta JavaScript!

Corso di logica modale proposizionale

Corso di logica modale proposizionale
titolo Corso di logica modale proposizionale
autori ,
argomento Scienze umane Filosofia
collana Studi superiori
editore Carocci
formato Libro: Copertina morbida
pagine 193
pubblicazione 06/2019
ISBN 9788843095261
 
19,00
 
Disponibile normalmente in 24/48h
 

Cerca
la libreria-POINT più vicina

Inserisci la città o il CAP della zona in cui risiedi
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.
 

Chi ha cercato questo ha cercato anche...

Iscriviti alla nostra newsletter

Per restare aggiornato sulle novità in uscita, ricevere anteprime, contenuti aggiuntivi e promozioni

Inserire il codice per il download.

Inserire il codice attivare il servizio.