Theoretische Informatik

Nonclassical Logics in Computer Science (WiSe 2017/18)

Lecturers Tadeusz Litak, perhaps with a co-lecturer
Dates to be determined
Target Audience WPF INF-MA 8 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI (ECTS-Credits: 7,5)

(Suitable as elective course (WPF) for computer science minors from various departments, including mathematics.)

Course Description


  • Patrick Blackburn, Maarten de Rijke, Yde Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science. 2002
  • Alexander Chagrov, Michael Zakharyaschev. Modal Logic. Oxford University Press 1997
  • David Pym. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers, 2002.
  • Greg Restall. An Introduction to Substructural Logics, Routledge 2000
  • Nick Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono. Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier 2007
  • Anne S. Troelstra, Helmut Schwichtenberg, Basic Proof Theory, Cambridge Tracts in Theoretical Computer Science
  • Anne S. Troelstra, Lectures on Linear Logic, CSLI Publications 1992