Learning objectives
1- A minima lknowledge of Intuitionism;
2 - S4 Modal System as a tool for poin 1
Prerequisites
Semantics and Syntax of Propositional Classical Logic
Course unit content
A short introduction to Intuitionistic and Modal (S4) Propositional Logic
Full programme
1) Natural Deduction for propositional S4
2) Kripke models
3) Natulal Deduction for Propositional Intuitionism
4) Kripke modelsfor Intuitionism
Bibliography
Notes sent directly to Students' e-mail addresses
Teaching methods
Oral lessons
Assessment methods and criteria
Final oral exam
Other information
- - -