### Introduction

The course provides a broader understanding of logic and builds upon the corresponding lecture from the bachelor programme. The following topics are discussed:

- Semantics and proof systems for first-order logic.
- Semantics and proof systems for equational logic.
- Introduction to second-order logic and modal logic.
- Use of interactive provers.

### Literature

The lecture is based on the following books.

Michael Huth and Mark Ryan, Logic in Computer Science (second edition).

Cambridge University Press, 2004, ISBN 978-0-521-54310-1 (paperback).

Mordechai Ben-Ari: Mathematical logic for computer science.

Springer, 2nd ed. 2001. ISBN 978-1-85233-319-5 (paperback).

### Language

The course is taught in English.

### Prerequisites

Logic from the bachelor programme or logic in computer science (Algorithmische Mathematik 7). Registration to the course is not required.