{"product_id":"corso-di-logica-modale-proposizionale","title":"Corso di logica modale proposizionale","description":"\n    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.\u003cbr\u003e\n    \u003cstrong style=\"font-size:20px;\"\u003eCorso di logica modale proposizionale\u003c\/strong\u003e\u003cbr\u003e\n    \u003cp style=\"font-size:12px;\"\u003edi Orlandelli, Eugenio;Corsi, Giovanna - 2019-06-13\u003cbr\u003e\n    Edizioni Carocci\u003cbr\u003e\n    ISBN 9788843095261\n    \u003c\/p\u003e","brand":"Libreria Libraria","offers":[{"title":"Default Title","offer_id":49638221381971,"sku":"9788843095261","price":19.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0898\/2183\/9699\/files\/9788843095261.500.jpg?v=1729352028","url":"https:\/\/librerialibraria.com\/products\/corso-di-logica-modale-proposizionale","provider":"librerialibraria","version":"1.0","type":"link"}