Non-classical logics

Slides

  • 17.10.2012: Introduction [introduction.pdf]
  • 18.10.2012: Classical logic (Part 1: Propositional logic) [classical-logic-part1.pdf]
  • 24.10.2012: Classical logic (Part 2 Propositional logic, Predicate logic) [classical-logic-part2.pdf]
  • 31.10.2012: Classical logic (Part 3 Predicate logic; Resolution, Tableaux) [classical-logic-part3.pdf]
  • 7.11.2012: Many-Valued Logics (Part 1) [many-valued-part1.pdf]
  • 14.11.2012: Many-Valued Logics (Part 2) [many-valued-part2.pdf]
  • 15.11.2012: Many-Valued Logics (Part 3) [many-valued-part3.pdf] (updated on 21.11.2012)
  • 21.11.2012: Many-Valued Logics (Part 4) [many-valued-part4.pdf]
  • 28.11.2012: Many-Valued Logics (Part 5) [many-valued-part5.pdf]
  • 28.11.2012 and 29.11.2012: Applications of 3-valued logics [many-valued-applications.pdf]
  • 29.11.2012: Infinitely-valued logics (Part 1) [infinitely-valued-part1.pdf]
  • 5.12.2012: Infinitely-valued logics (Part 2) [infinitely-valued-part2.pdf]
  • 5.12.2012: Modal logics (Part 1) [modal-logics1.pdf]
  • 12.12.2012: Modal logics (Part 2) [modal-logics2.pdf]
  • 13.12.2012: Modal logics (Part 3) [modal-logics3.pdf]
  • 09.01.2013: Modal logics (Part 4) [modal-logics4.pdf]
  • 10.01.2013: Modal logics (Part 5) [modal-logics5.pdf]
  • 16.01.2013: Modal logics (Part 6) [modal-logics6.pdf]
  • 23.01.2013: Description logics (Part 1) [description-logics1.pdf]
  • 24.01.2013: Description logics (Part 2) [description-logics2.pdf]
  • 24.01.2013: Dynamic logics [dynamic-logics.pdf]
  • 31.01.2013: Dynamic logics2, First-order modal logics, Temporal logic 1 [dynamic-logic2-foml-temp-logic.pdf]
  • Soundness, completeness and decidability proof for PDL [[decidability-pdl.pdf]
  • 06.01.2013: Temporal logic 2 [temporal-logic2.pdf]