Marianna Girlando

According to our database, Marianna Girlando authored at least 19 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Simple Loopcheck for Intuitionistic K.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

Proceedings of the Logic, Language, Information, and Computation, 2024

2023

Cyclic Hypersequent System for Transitive Closure Logic.

Anupam Das, Marianna Girlando

J. Autom. Reason., September, 2023

A dynamic approach to ceteris paribus counterfactuals.

Avgerinos Delkos, Marianna Girlando

CoRR, 2023

Intuitionistic S4 is decidable.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato

J. Log. Comput., 2022

Cyclic Proofs, Hypersequents, and Transitive Closure Logic.

Anupam Das, Marianna Girlando

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.

Tiziano Dalmonte, Marianna Girlando

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.

Marianna Girlando, Sara Negri, Nicola Olivetti

J. Log. Comput., 2021

2020

Theorem Proving for Lewis Logics of Counterfactual Reasoning.

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato

Proceedings of the 35th Italian Conference on Computational Logic, 2020

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description).

Marianna Girlando, Lutz Straßburger

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

On the Proof Theory of Conditional Logics. (De la théorie de la démonstration pour logiques conditionnelles).

Marianna Girlando

PhD thesis, 2019

Uniform Labelled Calculi for Conditional and Counterfactual Logics.

Marianna Girlando, Sara Negri, Giorgio Sbardolini

Proceedings of the Logic, Language, Information, and Computation, 2019

Nested Sequents for the Logic of Conditional Belief.

Marianna Girlando, Björn Lellmann, Nicola Olivetti

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch

Rev. Symb. Log., 2018

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.

Marianna Girlando, Nicola Olivetti, Sara Negri

Proceedings of the Advances in Modal Logic 12, 2018

2017

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016

Standard Sequent Calculi for Lewis' Logics of Counterfactuals.

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.

Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch

Proceedings of the Advances in Modal Logic 11, 2016