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)