defended theses only
defended and online theses
Nicola Olivetti
Nicola Olivetti supervised the 2 following theses
Non-normal modal logics : neighbourhood semantics and their calculi
by Tiziano Dalmonte supervised by Nicola Olivetti - Aix-Marseille
Mathématiques et informatique. Informatique
defended on 05-10-2020
On the proof theory of conditional logics
by Marianna Girlando supervised by Nicola Olivetti and Sara Negri . - Aix-Marseille
Informatique
defended on 08-02-2019
Nicola Olivetti was president of the thesis committee the 2 following theses
Logiques de ressources dynamiques : modèles, propriétés et preuves
by Jean-René Courtault supervised by Didier Galmiche - Université de Lorraine
Informatique
defended on 15-04-2015
Monotone Modal Logic and Friends
by Sabine Frittella supervised by Luigi Santocanale and Alessandra Palmigiano . - Aix-Marseille
Informatique
defended on 01-12-2014
Nicola Olivetti was examiner the 2 following theses
Extensions modales des logiques de ressources : expressivité et calculs
by Pierre Kimmel supervised by Didier Galmiche and Dominique Larchey-Wendling . - Université de Lorraine
Informatique
defended on 06-12-2018
Logiques de ressources dynamiques : modèles, propriétés et preuves
by Jean-René Courtault supervised by Didier Galmiche - Université de Lorraine
Informatique
defended on 15-04-2015
