Non-classical logics

Slides

  • 29.10.2014: Introduction [introduction.pdf]
  • 29.10.2014: Classical logic (Part 1: Propositional logic) [classical-logic-part1.pdf]
  • 5.11.2014: Classical logic (Part 2: Propositional logic) [classical-logic-part2.pdf]
  • 12.11.2014: Classical logic (Part 3: Propositional logic, Predicate logic) [classical-logic-part3.pdf]
  • 19.11.2014: Classical logic (Part 4: Predicate logic) [classical-logic-part4.pdf] (after the lecture: correction on page 56)
  • 19.11.2014: Many-Valued Logics (Part 1) [many-valued-part1.pdf]
  • 26.11.2014: Many-Valued Logics (Part 2) [many-valued-part2.pdf] (after the lecture)
  • 3.12.2014: Many-Valued Logics (Part 3) [many-valued-part3.pdf] (after the lecture)
  • 10.12.2014: Many-Valued Logics (Part 4) [many-valued-part4.pdf] (after the lecture)
  • 17.12.2014: Many-Valued Logics (Part 5) [many-valued-part5.pdf] (after the lecture)
  • 17.12.2014: Modal logics (Part 1) [modal-logics1.pdf] (after the lecture)
  • 14.01.2015: Modal logics (Part 2) [modal-logics2.pdf]
  • 21.01.2015: Modal logics (Part 3) [modal-logics3.pdf]
  • 28.01.2015: Modal logics (Part 4) [modal-logics4.pdf]
  • 4.02.2015: Modal logics (Part 5) [modal-logics5.pdf]
  • 11.02.2015: Modal logics (Part 6) [modal-logics6.pdf]
    • Additional material
  • Soundness, completeness and decidability proof for the modal logic K [decidability-of-modal-logic.pdf]
  • Soundness, completeness and decidability proof for PDL [[decidability-pdl.pdf]

    (Important for the exam for PDL: soundness - Section 4.1; completeness + decidability - Section 4.2)