Marianna Girlando

Orcid: 0000-0002-9384-1356

Affiliations:
  • University of Amsterdam, The Netherlands
  • University of Birmingham, UK (former)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Simple Loopcheck for Intuitionistic K.
Proceedings of the Logic, Language, Information, and Computation, 2024

2023
Cyclic Hypersequent System for Transitive Closure Logic.
J. Autom. Reason., September, 2023

A dynamic approach to ceteris paribus counterfactuals.
CoRR, 2023

Intuitionistic S4 is decidable.
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.
J. Log. Comput., 2022

Cyclic Proofs, Hypersequents, and Transitive Closure Logic.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi.
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
J. Log. Comput., 2021

2020
Theorem Proving for Lewis Logics of Counterfactual Reasoning.
Proceedings of the 35th Italian Conference on Computational Logic, 2020

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description).
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).
PhD thesis, 2019

Uniform Labelled Calculi for Conditional and Counterfactual Logics.
Proceedings of the Logic, Language, Information, and Computation, 2019

Nested Sequents for the Logic of Conditional Belief.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.
Rev. Symb. Log., 2018

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.
Proceedings of the Advances in Modal Logic 12, 2018

2017
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016
Standard Sequent Calculi for Lewis' Logics of Counterfactuals.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.
Proceedings of the Advances in Modal Logic 11, 2016


  Loading...