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.