In questa Lettura Critica viene analizzato il volume di E. Orlandelli e G. Corsi "Corso di Logica Modale Proposizionale", trattandone il contenuto anche in relazione ad altri manuali di testo sull’argomento. Merito di questo testo è quello di unire ad una parte “standard”, in cui i temi classici delle logiche modali sono introdotti in modo particolarmente chiaro (semantiche relazionali, calcoli alla Hilbert, modelli canonici, decidibilità via metodo delle filtrazioni), una parte più "innovativa", nella quale sono trattate efficaci tecniche di dimostrazione per le logiche modali (calcoli dei sequenti etichettati e metodo dei diagrammi).

Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193 / Gherardi Guido. - In: APHEX. - ISSN 2036-9972. - ELETTRONICO. - 27:(2023), pp. 98-127.

Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193.

Gherardi Guido
2023

Abstract

In questa Lettura Critica viene analizzato il volume di E. Orlandelli e G. Corsi "Corso di Logica Modale Proposizionale", trattandone il contenuto anche in relazione ad altri manuali di testo sull’argomento. Merito di questo testo è quello di unire ad una parte “standard”, in cui i temi classici delle logiche modali sono introdotti in modo particolarmente chiaro (semantiche relazionali, calcoli alla Hilbert, modelli canonici, decidibilità via metodo delle filtrazioni), una parte più "innovativa", nella quale sono trattate efficaci tecniche di dimostrazione per le logiche modali (calcoli dei sequenti etichettati e metodo dei diagrammi).
2023
Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193 / Gherardi Guido. - In: APHEX. - ISSN 2036-9972. - ELETTRONICO. - 27:(2023), pp. 98-127.
Gherardi Guido
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/962938
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact