| 2025 | TABLEAUX | A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. | Tiziano Dalmonte, Marianna Girlando |
| 2025 | WoLLIC | A Significance-Based Account of Ceteris paribus Counterfactuals. | Avgerinos Delkos, Marianna Girlando |
| 2024 | WoLLIC | A Simple Loopcheck for Intuitionistic K. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | LICS | Intuitionistic S4 is decidable. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2022 | AiML | Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. | Tiziano Dalmonte, Marianna Girlando |
| 2022 | CADE | Cyclic Proofs, Hypersequents, and Transitive Closure Logic. | Anupam Das, Marianna Girlando |
| 2020 | CADE | MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description). | Marianna Girlando, Lutz Straburger |
| 2019 | JELIA | Nested Sequents for the Logic of Conditional Belief. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti |
| 2019 | WoLLIC | Uniform Labelled Calculi for Conditional and Counterfactual Logics. | Marianna Girlando, Sara Negri, Giorgio Sbardolini |
| 2018 | AiML | Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. | Marianna Girlando, Nicola Olivetti, Sara Negri |
| 2017 | TABLEAUX | Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2017 | TABLEAUX | VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |
| 2016 | AiML | The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. | Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch |
| 2016 | JELIA | Standard Sequent Calculi for Lewis' Logics of Counterfactuals. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |