The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. - Marianna Girlando; Sara Negri; Nicola Olivetti; Vincent Risch (Advances in Modal Logic, 2016)

Standard Sequent Calculi for Lewis' Logics of Counterfactuals. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2016)

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 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 (TABLEAUX, 2017)

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. - Marianna Girlando; Nicola Olivetti; Sara Negri (Advances in Modal Logic, 2018)

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. - Marianna Girlando; Sara Negri; Nicola Olivetti; Vincent Risch (Rev. Symb. Log., 2018)

Nested Sequents for the Logic of Conditional Belief. - Marianna Girlando; Björn Lellmann; Nicola Olivetti (JELIA, 2019)

Uniform Labelled Calculi for Conditional and Counterfactual Logics. - Marianna Girlando; Sara Negri; Giorgio Sbardolini (WoLLIC, 2019)

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

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description). - Marianna Girlando; Lutz Straßburger (IJCAR (2), 2020)

Theorem Proving for Lewis Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (CILC, 2020)

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. - Marianna Girlando; Sara Negri; Nicola Olivetti (J. Log. Comput., 2021)

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. - Tiziano Dalmonte; Marianna Girlando (AiML, 2022)

Cyclic Proofs, Hypersequents, and Transitive Closure Logic. - Anupam Das 002; Marianna Girlando (IJCAR, 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)

Intuitionistic S4 is decidable. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (LICS, 2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. - Tim S. Lyon; Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake (CoRR, 2023)

A dynamic approach to ceteris paribus counterfactuals. - Avgerinos Delkos; Marianna Girlando (CoRR, 2023)

Cyclic Hypersequent System for Transitive Closure Logic. - Anupam Das 002; Marianna Girlando (J. Autom. Reason., 2023)

A Simple Loopcheck for Intuitionistic K. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (WoLLIC, 2024)

A Significance-Based Account of Ceteris paribus Counterfactuals. - Avgerinos Delkos; Marianna Girlando (WoLLIC, 2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels. - Han Gao; Marianna Girlando; Nicola Olivetti (CoRR, 2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version). - Tiziano Dalmonte; Marianna Girlando (CoRR, 2025)