Madame Marianna GIRLANDO / PhD

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*

Contact details

marianna.girlando@univ-amu.fr

Jobs

Research : NON

PhD

Title : Informatique

First registration date : 1 October 2015 / 4A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 8 February 2019

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

Thesis supervisor :

Thesis co-supervisor :

Master's degree

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

April 2015 - Università degli studi di Firenze

Publications

  • 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

Languages

Anglais : C2 - Courant

Français : C2 - Courant

Italien : C2 - Maternel