Formal logic is the basis of deductive reasoning. At the same time it provides a universal language for the representation of knowledge and for the specification of programs and processes. In this sense it is a fundamental subdiscipline of theoretical computer science with a broad range of applications.  

The group Logic and Language / Mathematical Logic works at the intersection of computer science, philosophy, linguistics and mathematics. It is mainly concerned with constructive logics and semantics, and with the application of logic in modelling reasoning and knowledge. Within philosophy, foundational questions of logic and philosophy of science including their historical development are investigated.  

Current research projects focus on hypothetical reasoning and the interactive foundations of logic and semantics.