Madame Marianna GIRLANDO / Docteur

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

Emplois

Recherche : NON

Doctorat

Titre : Informatique

1ère inscription en thèse : 1 octobre 2015 / 4A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 8 février 2019

Sujet : Théorie de la démonstration des logiques conditionnelles

Directeur de thèse :

Co-directeur :

Master

Titre : Master degree in Logic, Philosophy and History of Science

avril 2015 - Università degli studi di Firenze

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

Langues

Anglais : C2 - Courant

Français : C2 - Courant

Italien : C2 - Maternel