Marianna Girlando

ORCID

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Venues

CoRR

WoLLIC

J. Log. Comput.

Advances in Modal Logic

Aix-Marseille University, France (PHD)

Education History

Aix-Marseille University, France

PHD

Publications

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
A Simple Loopcheck for Intuitionistic K. WoLLIC (2024)
Avgerinos Delkos, Marianna Girlando
A dynamic approach to ceteris paribus counterfactuals. CoRR (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. LICS (2023)
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Intuitionistic S4 is decidable. CoRR (2023)
Anupam Das, Marianna Girlando
Cyclic Hypersequent System for Transitive Closure Logic. J. Autom. Reason. 67 (3) (2023)
Anupam Das, Marianna Girlando
Cyclic Proofs, Hypersequents, and Transitive Closure Logic. CoRR (2022)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. 32 (2) (2022)
Anupam Das, Marianna Girlando
Cyclic Proofs, Hypersequents, and Transitive Closure Logic. IJCAR (2022)
Tiziano Dalmonte, Marianna Girlando
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. CoRR (2022)
Tiziano Dalmonte, Marianna Girlando
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. AiML (2022)
Marianna Girlando, Sara Negri, Nicola Olivetti
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. J. Log. Comput. 31 (3) (2021)
Marianna Girlando, Sara Negri, Nicola Olivetti
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. CoRR (2020)
Marianna Girlando, Lutz Straßburger
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description). IJCAR (2) (2020)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC (2020)
Marianna Girlando, Björn Lellmann, Nicola Olivetti
Nested Sequents for the Logic of Conditional Belief. JELIA (2019)
Marianna Girlando, Sara Negri, Giorgio Sbardolini
Uniform Labelled Calculi for Conditional and Counterfactual Logics. WoLLIC (2019)
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. Rev. Symb. Log. 11 (4) (2018)
Marianna Girlando, Nicola Olivetti, Sara Negri
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Advances in Modal Logic (2018)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX (2017)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX (2017)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA (2016)
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Advances in Modal Logic (2016)

Marianna Girlando.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marianna Girlando