Standard sequent calculi for Lewis’ logics of counterfactuals M Girlando, B Lellmann, N Olivetti, GL Pozzato European Conference on Logics in Artificial Intelligence, 272-287, 2016 | 27 | 2016 |
The logic of conditional beliefs: neighbourhood semantics and sequent calculus M Girlando, S Negri, N Olivetti, V Risch Advances in Modal Logics 2016 11, 322-341, 2016 | 15 | 2016 |
Hypersequent calculi for Lewis’ conditional logics with uniformity and reflexivity M Girlando, B Lellmann, N Olivetti, GL Pozzato International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 14 | 2017 |
Conditional beliefs: from neighbourhood semantics to sequent calculus M Girlando, S Negri, N Olivetti, V Risch The review of symbolic logic 11 (4), 736-779, 2018 | 13 | 2018 |
MOIN: a nested sequent theorem prover for intuitionistic modal logics (system description) M Girlando, L Straßburger Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 11 | 2020 |
VINTE: an implementation of internal calculi for lewis’ logics of counterfactual reasoning M Girlando, B Lellmann, N Olivetti, GL Pozzato, Q Vitalis International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 11 | 2017 |
Intuitionistic S4 is decidable M Girlando, R Kuznets, S Marin, M Morales, L Straßburger 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 10 | 2023 |
Uniform labelled calculi for conditional and counterfactual logics M Girlando, S Negri, G Sbardolini Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 10 | 2019 |
On the proof theory of conditional logics M Girlando Aix-Marseille, 2019 | 7 | 2019 |
Counterfactual logic: Labelled and internal calculi, two sides of the same coin? M Girlando, S Negri, N Olivetti Advances in Modal Logics 2018 12, 291-310, 2018 | 6 | 2018 |
Cyclic proofs, hypersequents, and transitive closure logic A Das, M Girlando International Joint Conference on Automated Reasoning, 509-528, 2022 | 5 | 2022 |
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics M Girlando, S Negri, N Olivetti Journal of Logic and Computation 31 (3), 947-997, 2021 | 5 | 2021 |
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning M Girlando, B Lellmann, N Olivetti, S Pesce, GL Pozzato Journal of Logic and Computation 32 (2), 233-280, 2022 | 4 | 2022 |
Cyclic Hypersequent System for Transitive Closure Logic A Das, M Girlando Journal of Automated Reasoning 67 (3), 27, 2023 | 3 | 2023 |
Theorem proving for lewis logics of counterfactual reasoning M Girlando, B Lellmann, N Olivetti, S Pesce, GL Pozzato CILC 2020-35th Edition of the Italian Conference on Computational Logic, 2020 | 2 | 2020 |
Nested sequents for the logic of conditional belief M Girlando, B Lellmann, N Olivetti European Conference on Logics in Artificial Intelligence, 709-725, 2019 | 2 | 2019 |
Introduzione alla new logic: logica, filosofia, cognizione L Magnani, M Girlando | 2 | 2013 |
On the Proof Theory of Conditional Logics.(De la théorie de la démonstration pour logiques conditionnelles). M Girlando Aix-Marseille University, France, 2019 | 1 | 2019 |
Hypersequent calculus for the logic of conditional belief: preliminary results M Girlando, B Lellmann, N Olivetti in EICNCL Floc Workshop Proceedings, 2018 | 1 | 2018 |
A dynamic approach to ceteris paribus counterfactuals A Delkos, M Girlando arXiv preprint arXiv:2312.15209, 2023 | | 2023 |