Learning outcomes of the course unit
Formal Logic for analyzing natural language and arguments expressed in it.
Propositional S4 system of Modal Logic.
Semantics of Propositional Classical Logic
Course contents summary
A short introduction to Modal (S4) Propositional Logic
1) Intuitive interpretations and translations into metalanguage.
2) Natural Deduction for propositional S4 and Kripke models
Notes sent directly to Students' e-mail addresses
Assessment methods and criteria
Final oral exam