Marianna Girlando

28 papers A* 1A 1B 8C 3Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels.
CoRR
Han Gao, Marianna Girlando, Nicola Olivetti
2025 J jnl
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version).
CoRR
Tiziano Dalmonte, Marianna Girlando
2025 B conf
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic.
TABLEAUX
Tiziano Dalmonte, Marianna Girlando
2025 C conf
A Significance-Based Account of Ceteris paribus Counterfactuals.
WoLLIC
Avgerinos Delkos, Marianna Girlando
2024 C conf
A Simple Loopcheck for Intuitionistic K.
WoLLIC
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
2023 J jnl
A dynamic approach to ceteris paribus counterfactuals.
CoRR
Avgerinos Delkos, Marianna Girlando
2023 J jnl
Cyclic Hypersequent System for Transitive Closure Logic.
J. Autom. Reason.
Anupam Das, Marianna Girlando
2023 J jnl
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
CoRR
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
2023 A* conf
Intuitionistic S4 is decidable.
LICS
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
2023 J jnl
Intuitionistic S4 is decidable.
CoRR
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
2022 J jnl
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
J. Log. Comput.
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2022 B conf
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.
AiML
Tiziano Dalmonte, Marianna Girlando
2022 J jnl
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.
CoRR
Tiziano Dalmonte, Marianna Girlando
2022 A conf
Cyclic Proofs, Hypersequents, and Transitive Closure Logic.
IJCAR
Anupam Das, Marianna Girlando
2022 J jnl
Cyclic Proofs, Hypersequents, and Transitive Closure Logic.
CoRR
Anupam Das, Marianna Girlando
2021 J jnl
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
J. Log. Comput.
Marianna Girlando, Sara Negri, Nicola Olivetti
2020 — conf
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description).
IJCAR (2)
Marianna Girlando, Lutz Straßburger
2020 — conf
Theorem Proving for Lewis Logics of Counterfactual Reasoning.
CILC
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2020 J jnl
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
CoRR
Marianna Girlando, Sara Negri, Nicola Olivetti
2019 B conf
Nested Sequents for the Logic of Conditional Belief.
JELIA
Marianna Girlando, Björn Lellmann, Nicola Olivetti
2019 — —
On the Proof Theory of Conditional Logics. (De la théorie de la démonstration pour logiques conditionnelles).
Marianna Girlando
2019 C conf
Uniform Labelled Calculi for Conditional and Counterfactual Logics.
WoLLIC
Marianna Girlando, Sara Negri, Giorgio Sbardolini
2018 J jnl
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.
Rev. Symb. Log.
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
2018 B conf
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.
Advances in Modal Logic
Marianna Girlando, Nicola Olivetti, Sara Negri
2017 B conf
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.
TABLEAUX
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2017 B conf
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
TABLEAUX
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
2016 B conf
Standard Sequent Calculi for Lewis' Logics of Counterfactuals.
JELIA
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2016 B conf
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.
Advances in Modal Logic
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch