Marianna Girlando

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cyclic hypersequent system for transitive closure logic Journal of Automated Reasoning	2023-09-19	Paper
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi (available as arXiv preprint)	2023-03-24	Paper
Cyclic proofs, hypersequents, and transitive closure logic (available as arXiv preprint)	2022-12-07	Paper
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) Automated Reasoning	2022-11-09	Paper
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning Journal Of Logic And Computation	2022-03-09	Paper
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics Journal Of Logic And Computation	2021-09-22	Paper
Uniform labelled calculi for conditional and counterfactual logics	2020-03-04	Paper
Nested sequents for the logic of conditional belief	2020-02-18	Paper
scientific article; zbMATH DE number 7084838 (Why is no real title available?)	2019-07-24	Paper
Conditional beliefs: from neighbourhood semantics to sequent calculus The Review of Symbolic Logic	2018-11-29	Paper
scientific article; zbMATH DE number 6863652 (Why is no real title available?)	2018-04-23	Paper
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning	2018-02-02	Paper
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity	2018-02-02	Paper
Standard sequent calculi for Lewis' logics of counterfactuals Logics in Artificial Intelligence	2016-11-30	Paper

Research outcomes over time

This page was built for person: Marianna Girlando