### Description

Logic is defined as the study of the principle of reasoning. The lecture extends the introductory logic course given in the bachelor program. And the content of the latter course is a prerequisite.

This lecture is part of the elective module "Automated Reasoning". The other two parts of the module (the lecture on "Automated Theorem Proving" and the correponding seminar) will be given in the summer term.

The following topics will be discussed in the course:

Syntax, Semantics and Formal Systems of First-Order Logic (including Equality) |

Extensions of First-Order Logic like Modal Logic and Second-Order Logic |

Curry-Howard Isomorphism |

Introduction to Automated and Interactive Reasoning |

### Lecture Notes

- Lecture Notes
pdf

### Literature

The course is partly based on the following books:- G.S. Boolos, J.P. Burgess, and R.C. Jeffrey

Computability and Logic

Cambridge University Press, 2007

ISBN 978-0-521-87752-7 (hardback) - H.-D. Ebbinghaus, J. Flum, and W. Thomas

Einführung in die mathematische Logik

Spektrum Akademischer Verlag, 2007

ISBN 978-3-8274-1691-9

NB: There is an english translation entitled "Mathematical Logic" of this text book. However this edition is slightly out of date

### Additional Material

- The Resolution Calculus by Alexander Leitsch (pdf)
- Towards an Automatic Analysis of Security Protocols in First-Order Logic (pdf)