---
layout: course

title: Computational Logic
instructors:
    - mkohlhase
    - frabe
    - dmueller
    
organization: Jacobs University
semesters:
    - Fall05
    - Fall07
    - Fall09
    - Fall11
    - Fall13
    - Fall15
---
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](http://kwarc.info/teaching/CompLog).