| Standard sequent calculi for Lewis’ logics of counterfactuals M Girlando, B Lellmann, N Olivetti, GL Pozzato Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016 | 25 | 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 | 16 | 2016 |
| Hypersequent calculi for Lewis’ conditional logics with uniformity and reflexivity M Girlando, B Lellmann, N Olivetti, GL Pozzato Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 13 | 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 | 12 | 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 | 10 | 2020 |
| VINTE: an implementation of internal calculi for lewis’ logics of counterfactual reasoning M Girlando, B Lellmann, N Olivetti, GL Pozzato, Q Vitalis Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 10 | 2017 |
| Uniform labelled calculi for conditional and counterfactual logics M Girlando, S Negri, G Sbardolini Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 6 | 2019 |
| On the proof theory of conditional logics M Girlando Helsingin yliopisto, 2019 | 5 | 2019 |
| 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 | 4 | 2021 |
| 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 | 4 | 2018 |
| Cyclic Proofs, Hypersequents, and Transitive Closure Logic A Das, M Girlando Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa …, 2022 | 2 | 2022 |
| 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 | 2 | 2022 |
| Nested sequents for the logic of conditional belief M Girlando, B Lellmann, N Olivetti Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 2 | 2019 |
| 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 | 1 | 2020 |
| 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 |
| Introduzione alla new logic: logica, filosofia, cognizione L Magnani, M Girlando | 1 | 2013 |
| Intuitionistic S4 is decidable M Girlando, R Kuznets, S Marin, M Morales, L Straßburger arXiv preprint arXiv:2304.12094, 2023 | | 2023 |
| Cyclic Hypersequent System for Transitive Closure Logic A Das, M Girlando | | 2023 |
| Comparative plausibility in neighbourhood models: axiom systems and sequent calculi T Dalmonte, M Girlando arXiv preprint arXiv:2210.10480, 2022 | | 2022 |
Bjoern LellmannBMFVerified email at logic.at
