Eugenio Orlandelli e Giovanna Corsi, "Corso di logica modale proposizionale", Carocci editore, Roma 2019, pp. 193
University of Bologna
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).
Guido Gherardi, "Eugenio Orlandelli e Giovanna Corsi, 'Corso di logica modale proposizionale', Carocci editore, Roma 2019, pp. 193", in "APhEx 27", 2023, pp. 30