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.
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