Nonclassical Logics in Computer Science

Lecturers Tadeusz Litak, Lutz Schröder
Dates Mon, Tue, 12:15 – 13:45, 01.255-128
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.)

Given the current development of the Covid-19 pandemic, we will, at least initially, meet online only. The Zoom access data are found in the StudOn course, which you should join.

Course Description

Literature

  • 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