Formal Methods for Software Development | TDA294/DIT271, LP1, HT2019 |

Lecture Notes: First-Order Logic | |

In this lecture we
- finish the theory of LTL model checking
- introduce first-order logic (FOL)
- started presenting a sequent calculus for FOL to prove validity of formulas
## Handouts | |

W. Ahrendt, Sep 27, 2019 |