Options
Eugenio Orlandelli e Giovanna Corsi, "Corso di logica modale proposizionale", Carocci editore, Roma 2019, pp. 193
Gherardi, Guido
University of Bologna
2023
Abstract
In this Critical Reading the volume by E. Orlandelli and G. Corsi " Corso di Logica Modale Proposizionale " is analyzed, also dealing with its content in relation to other textbooks on the subject. The merit of this text is that of cobining a "standard" part, in which the traditional topics of modal logics are introduced in a particularly clear way (relational semantics, Hilbert calculus, canonical models, decidability through the filtration method), with a more " innovative" one, which deals with effective proof techniques for modal logics (labeled sequent calculus and the diagram method).
Journal
Source
Guido Gherardi, "Eugenio Orlandelli e Giovanna Corsi, 'Corso di logica modale proposizionale', Carocci editore, Roma 2019, pp. 193", in "APhEx 27", 2023, pp. 30
Languages
it
File(s)
Loading...
Name
Lettura_Critica_Corso di logica modale proposizionale.pdf
Format
Adobe PDF
Size
492.19 KB