Appunti per il corso di Logica @ DISI, UniTN
Il PDF generato da LaTeX è allegato nella sezione release
Fausto Giunchiglia, Mattia Fumagalli, Logica. Università degli Studi di Trento
Alessandro Farinelli, Logica Proposizionale e del Primo Ordine. Università degli Studi di Verona
Alessandro Artale, Reasoning in First Order Logic. Free University of Bozen-Bolzano
James Garson, Modal Logic (Stanford Encyclopedia on Philosophy)
F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Description Logic Handbook. Cambridge University Press, 2002.
Excerpts from the book and additional material can be found on the webpage of E. Franconi, Free University of Bozen-Bolzano