Computational Logic
Prof. Dr. Michael Kohlhase
PD Dr. Florian Rabe
Dr. 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.