menu
Computational Logic
Prof. Dr. Michael Kohlhase
PD Dr. Florian Rabe
M.Sc. Dennis Müller

Jacobs University
Fall 2005
Fall 2007
Fall 2009
Fall 2011
Fall 2013
Fall 2015

Theory and machine-oriented inference for propositional, first-order, higher-order, modal, and description logics.

The course resources (course notes, literature, assignments) can be found here.