Ce cours vient après le cours d’introduction à la logique (UE 901/EC2). Il s’agit d’un cours d’introduction à la logique modale propositionnelle, c’est-à-dire à la logique du possible et du nécessaire. Les grands principes en seront présentés, ainsi que la sémantique des mondes possibles et la méthode des arbres sémantiques. L’objectif est de parvenir à maîtriser les concepts et techniques de base de la logique modale. Des exercices seront proposés à cette fin.
- Enseignant: Manuel Rebuschi