Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Trainer/in: Isabelle Bloch
- Trainer/in: Louis Jachiet
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)