Repository logo
  • English
  • Italiano
  • Log In
    or
    New user? Click here to register.Have you forgotten your password?
Repository logo
Repository logo
  • Archive
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    or
    New user? Click here to register.Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. APhEx
  5. 27 APhEx num 27, anno 2023
  6. Eugenio Orlandelli e Giovanna Corsi, "Corso di logica modale proposizionale", Carocci editore, Roma 2019, pp. 193
 
  • Details
  • Metrics
Options

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

Gherardi, Guido
University of Bologna
2023
Loading...
Thumbnail Image
ISSN
2036-9972
https://www.openstarts.units.it/handle/10077/35477
  • Article

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
APhEx 
Subjects
  • logiche modali

  • semantiche relazional...

  • teoria della dimostra...

  • modal logics

  • relational semantics

  • proof theory

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...
Thumbnail Image
Name

Lettura_Critica_Corso di logica modale proposizionale.pdf

Format

Adobe PDF

Size

492.19 KB

Download
Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback