Marianna Girlando

Available identifiers

Publication	Date of Publication	Type
Cyclic hypersequent system for transitive closure logic	2023-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q5884952	2023-03-24	Paper
Cyclic proofs, hypersequents, and transitive closure logic	2022-12-07	Paper
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)	2022-11-09	Paper
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2022-03-09	Paper
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics	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
https://portal.mardi4nfdi.de/entity/Q5224572	2019-07-24	Paper
Conditional beliefs: from neighbourhood semantics to sequent calculus	2018-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4636042	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	2016-11-30	Paper

This page was built for person: Marianna Girlando