University of Trento
Spring 2013


There is no basic or mandatory written reference for this course. A list of suggested readings (e.g. chapters in advanced/reference textbooks and collections, and research papers) will be available as the course proceeds. Any textbook on mathematical logic. (In our Library there are many, just do your choice. We will be happy to know what is your favourite!) Some suggestions follow.

  • A booklet with exercises spanning different logic languages can be found here.
  • [B1] S.C. Kleene, "Introduction to Metamathematics", North-Holland, 1952.
  • [B2] E. Mendelson: "Introduction to Mathematical Logic - Third edition", Wadsworth Inc., Belmont, CA, 1987.
  • [B3] G. Boolos, J. Burgess, R. Jeffrey, Computability and Logic, 4th edition. Cambridge University Press, 2002.
  • [B4] M. Huth and M. Ryan, "Logic in Computer Science", Cambridge University Press, 2004(2006).
  • [DL1] F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider, "Handbook of Description Logics", Cambridge University Press, Cambridge, UK, 2002. isbn=0521781760. See expecially 1,2,4,10, all available online. For example here.
  • [DL2] B. Nebel, Terminological Cycles: Semantics and Computational Properties. In Principles of Semantic Networks, J. F. Sowa (ed.), pp 331--362, Morgan Kaufmann, San Mateo, CA, 1991.
  • [DL3] I. Horrocks and P.F. Patel-Schneider, Reducing OWL Entailment to Description Logic Satisfiability. In Proceedings of the Second International Semantic Web Conference (ISWC-03), pp 17--29, Springer-Verlag LNCS 2870, Berlin Heidelberg, 2003.
  • [DL4] G. Antoniou and F. van Harmelen, "A Semantic Primer", The MIT Press, 2004. (Chs 1, 4)
  • [WDL1] Description Logics Courses and Tutorials.
  • [WCXL1] Context Logics @ UniTn. This website is not updated but still very useful.

All material presented in class will be available through handouts. Most handouts especially PPTs of the lessons) will be made here. We will post the material a few days after each lecture, if not stated otherwise.

University of Trento - Master in Computer Science