Corso di logica modale proposizionale

Prezzo
19,00 €
Nessuna tassa
Carocci
Orlandelli Eugenio, Corsi Giovanna
Studi superiori
Libro in brossura
13 Giugno 2019
193
Nuovo
Quantità

E-Book non acquistabile
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.
THEME OPTIONS

Panel Tool

Full Width Boxed Large
Yes No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default
Headings Color
Link Color
Link Hover Color
Text Color
Price Color
Button Background
Button Hover Background
Button Color
Button Hover Color
Product Background
Product Name Color
Product Name Hover Color
Product Price Color
Product Regular Price Color
Product Button Background
Product Button Hover Background
Product Button Color
Product Button Hover Color
On Sale Badge Background
On Sale Badge Color
New Badge Background
New Badge Color
Sale Badge Background
Sale Badge Color
Online Only Background
Online Only Color
Pack Badge Background
Pack Badge Color
Block Background
Block Inner Background
Block Heading Background
Block Heading Color