Non-classical logics
Slides
23.10.2013: Introduction
[introduction.pdf]
24.10.2013: Classical logic (Part 1: Propositional logic)
[classical-logic-part1.pdf]
30.10.2013: Classical logic (Part 2 Propositional logic, Predicate logic)
[classical-logic-part2.pdf]
6.11.2013: Classical logic (Part 3 Predicate logic; Resolution, Tableaux)
[classical-logic-part3.pdf]
13.11.2013: Many-Valued Logics (Part 1)
[many-valued-part1.pdf]
20.11.2013: Many-Valued Logics (Part 2)
[many-valued-part2.pdf]
27.11.2013: Many-Valued Logics (Part 3)
[many-valued-part3.pdf]
4.12.2013: Many-Valued Logics (Part 4)
[many-valued-part4.pdf]
11.12.2013: Modal logics (Part 1)
[modal-logics1.pdf]
18.12.2013: Modal logics (Part 2)
[modal-logics2.pdf]
(19.12.13: correction in item 7 on pages 29 and 31)
08.01.2014: Modal logics (Part 3)
[modal-logics3.pdf]
(after the lecture: correction of typo on page 18)
15.01.2014: Modal logics (Part 4)
[modal-logics4.pdf]
(21.01.22014: corrections on page 46)
22.01.2014: Modal logics (Part 5)
[modal-logics5.pdf]
29.01.2014: Modal logics (Part 6)
[modal-logics6.pdf]
(Description logics ctd; Dynamic logic) after the lecture: small corrections
5.02.2014: Modal logics (Part 7)
[modal-logics7.pdf]
(Dynamic logic; First-order modal logics)