enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*pilotage de la recherche et de l’innovation, 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 / 3A these 2017
École doctorale : Mathématiques et Informatique de Marseille
Sujet : Théorie de la démonstration des logiques conditionnelles
Directeur de thèse : Nicolas OLIVETTI
Co-directeur :
Unité de recherche : Laboratoire d'Informatique et Systèmes
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