Orlandelli, Eugenio <1981-> - Corsi, Giovanna <insegnante di logica>
Corso di logica modale proposizionale
- Prenota
- Copie totali: 1
- In prestito: 0
- Prenotazioni: 0
Abstract: 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.
Titolo e contributi: Corso di logica modale proposizionale / Eugenio Orlandelli, Giovanna Corsi
Pubblicazione: Carocci, 2019
Descrizione fisica: 193 p. ; 22 cm
EAN: 9788843095261
Data:2019
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
- Tipo di data: monografia edita in un solo anno
- Data di pubblicazione: 2019
- Target: adulti, generale
- Genere: saggi
Sono presenti 1 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Como | OO-N-16633 | CO-369871 | Su scaffale | Disponibile |