Intuitionistic S4 is decidable
joint work with Roman Kuznets, Sonia Marin, Marianela Morales and Lutz Straßburger
Accepted at LICS 2023,
extended version available here
Cyclic Proofs, Hypersequents, and Transitive Closure Logic
joint work with Anupam Das
Proceedings of IJCAR 2022 (doi & pdf),
extended version available here
IJCAR best paper award
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
joint work with Tiziano Dalmonte
Proceedings of AiML 2022 (pdf)
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
joint work with Björn Lellmann, Nicola Olivetti, Stefano Pesce and Gian Luca Pozzato
Journal of Logic and Computation, 2022 (doi,
pdf)
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
joint work with Sara Negri and Nicola Olivetti
Journal of Logic and Computation, 2021 (doi,
pdf)
Uniform labelled calculi for conditional and counterfactual logics
joint work with Sara Negri and Giorgio Sbardolini
Proceedings of Wollic 2019 (doi,
pdf)
Nested sequents for the logic of conditional belief
joint work with Björn Lellmann and Nicola Olivetti
Proceedings of JELIA 2019 (doi,
pdf)
Counterfactual logics: labelled and internal calculi, two faces of the same coin?
joint work with Sara Negri and Nicola Olivetti
Proceedings of AIML 2018 (doi,
pdf)
Conditional beliefs: from neighbourhood semantics to sequent calculus
joint work with Sara Negri, Nicola Olivetti and Vincent Risch
Review of Symbolic Logic, 2018
(doi,
pdf)
Hypersequent calculi for lewis’ conditional logics with uniformity and reflexivity
Joint work with Björn Lellmann, Nicola Olivetti and Gian Luca Pozzato
Proceedings of TABLEAUX 2017 (doi,
pdf)
Standard sequent calculi for Lewis’ logics of counterfactuals
Joint work with Björn Lellmann, Nicola Olivetti and Gian Luca Pozzato.
Proceedings of JELIA 2016 (doi,
pdf)
The logic of conditional belief: neighbourhood semantics and sequent calculus
Joint work with Sara Negri, Nicola Olivetti and Vincent Risch
Proceedings of AIML 2016 (doi,
pdf)
La New Logic: le strategie cognitive dell’agente individuale
Chapter in the book Introduzione alla New Logic, L. Magnani editor, Il Melangolo, Genova, 2013 (in italian).
On the proof theory of conditional logics (pdf)
Supervisors: Nicola Olivetti and Sara Negri
The thesis discussion took place in Marseille, on 08/02/2019
Prix de thèse AMU 2020
MOIN: a theorem prover for intuitionistic modal logics based on nested sequents
(webpage)
Joint work with Lutz Straßburger
A system description is published in the Proceedings of IJCAR 2021
(doi,
pdf)
MOILab: a prototype theorem prover for intuitionistic modal logic IK based on labelled sequents
(webpage)
Joint work with Marianela Morales
tuCLEVER: a theorem prover for the strongest Lewis' conditional logics based on hypersequents
(webpage)
Joint work with Björn Lellmann, Nicola Olivetti, Stefano Pesce and Gian Luca Pozzato
A system description is published in the Prepoceedings of CICL 2020 (
doi, pdf)
VINTE: a theorem prover for Lewis' conditional logics based on nested sequents (webpage)
Joint work with Nicola Olivetti, Gian Luca Pozzato and Quentin Vitalis
A system description is published in the Proceedings of TABLEAUX 2017
(doi,
HAL)