Deduction Systems for Non-Classical Logics (A.A. 07/08)

Date	Topic	Slides	Notes
29.04.08	Introduction	pdf
29.04.08	Propositional Logic	pdf
30.04.08	First-Order Logic	pdf
30.04.08	First-Order Theories and Set Theory	pdf
06.05.08	Modal Logics	pdf
07.05.08	Labeled Deduction Systems for Modal Logics	pdf
03.06.08	Labeled Deduction Systems for Non-Classical Logics	pdf

Temi d'esame:

Semantic tableaux systems for modal logics
Deduction systems for three-valued logics
Tableaux systems for many-valued logics
Tableaux systems for non-monotonic logics
Deduction systems for temporal logics
Deduction systems for dynamic logic
Deduction systems for deontic logic
Non-classical logics for trust management systems
Non-classical logics for information security
Combining non-classical logics
Encoding ladelled deduction systems in Isabelle
Implementing semantic tableaux