Madame Marianna GIRLANDO / doctorant

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 : LSIS - Laboratoire des Sciences de l'Information et des 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 : Courant
Français : Courant
Italien : 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