enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*pilotage de la recherche et de linnovation, gestion de projets innovants, pilotage de structures innovantes*médiation scientifique, communication et journalisme scientifique, édition scientifique, relations internationales*
Coordonnées
marianna.girlando@univ-amu.fr
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Octobre 2015
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
8 février 2019
Sujet :
Théorie de la démonstration des logiques conditionnelles
Directeur de thèse :
Co-directeur :
Unité de recherche :
Intitulé de l'équipe :
Master
Intitulé : Master degree in Logic, Philosophy and History of Science
Avril 2015 - Università degli studi di Firenze
Langues vivantes
Anglais : C2 - Courant
Français : C2 - Courant
Italien : C2 - Maternel
Production scientifique
-
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus
Livre - conference proceedings
2016
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
-
Standard Sequent Calculi for Lewis Logics of Counterfactuals
Livre - conference proceedings
2016
Marianna Girlando, Björn Lellmann, Nicola Olivetti and Gian Luca Pozzato
-
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
2017
Marianna Girlando, Bjoern Lellmann, Gian Luca Pozzato, Nicola Olivetti
-
VINTE: an Implementation of Internal Calculi for Lewis Logics of Counterfactual Reasoning
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
2017
Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
-
Counterfactual logic: labelled and internal calculi, two sides of the same coin?
Advances in Modal Logic 2018
2018
Marianna Girlando, Sara Negri, Nicola Olivetti
-
Conditional beliefs: from neighbourhood semantics to sequent calculus
The Review of Symbolic Logic
2018
Marianna Girlando, Sara Negri, Nicola Olivetti
-
Nested sequents for the logic of conditional belief
Proceedings of the Jelia conference
2018
Marianna Girlando, Bjoern Lellmann and Nicola Olivetti