Free quantified epistemic logics G Corsi, E Orlandelli Studia Logica 101, 1159-1183, 2013 | 31 | 2013 |
Labelled calculi for quantified modal logics with definite descriptions E Orlandelli Journal of Logic and Computation 31 (3), 923-946, 2021 | 19 | 2021 |
Proof analysis in deontic logics E Orlandelli Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014 | 19 | 2014 |
Decidable term-modal logics E Orlandelli, G Corsi Multi-Agent Systems and Agreement Technologies: 15th European Conference …, 2018 | 17 | 2018 |
Super-strict implications G Gherardi, E Orlandelli Bulletin of the Section of Logic 50 (1), 1-34, 2021 | 11 | 2021 |
Proof-theoretic pluralism F Ferrari, E Orlandelli Synthese 198 (Suppl 20), 4879-4903, 2021 | 10 | 2021 |
Sequent calculi and interpolation for non-normal modal and deontic logics E Orlandelli Logic and Logical Philosophy 30 (1), 139-183, 2021 | 9 | 2021 |
Full cut elimination and interpolation for intuitionistic logic with existence predicate P Maffezioli, E Orlandelli Wydawnictwo Uniwersytetu Łódzkiego, 2019 | 9 | 2019 |
Double-line harmony in a sequent setting N Gratzl, E Orlandelli College Publications, 2017 | 9 | 2017 |
Proof theory for quantified monotone modal logics S Negri, E Orlandelli Logic Journal of the IGPL 27 (4), 478-506, 2019 | 8 | 2019 |
Sequent Calculi for Indexed Epistemic Logics. G Corsi, E Orlandelli ARQNL@ IJCAR, 21-35, 2016 | 7 | 2016 |
Glivenko sequent classes and constructive cut elimination in geometric logics G Fellin, S Negri, E Orlandelli Archive for Mathematical Logic 62 (5), 657-688, 2023 | 6 | 2023 |
Non-normal super-strict implications G Gherardi, E Orlandelli arXiv preprint arXiv:2204.06721, 2022 | 6 | 2022 |
Logicality, double-line rules, and modalities N Gratzl, E Orlandelli Studia Logica 107, 85-107, 2019 | 6 | 2019 |
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. E Orlandelli, G Corsi ARQNL@ IJCAR, 64-78, 2018 | 6 | 2018 |
Interpolation in extensions of first-order logic G Gherardi, P Maffezioli, E Orlandelli Studia Logica 108, 619-648, 2020 | 5 | 2020 |
Sequent calculi and interpolation for non-normal modal and deonticlogics E Orlandelli arXiv preprint arXiv:1903.11342, 2019 | 4 | 2019 |
Labelled sequent calculi for logics of strict implication E Orlandelli, M Tesi Advances in Modal Logic 14, 1-15, 2022 | 3 | 2022 |
Constructive cut elimination in geometric logic G Fellin, S Negri, E Orlandelli LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 239, 1-16, 2022 | 3 | 2022 |
Corso di logica modale proposizionale E Orlandelli, G Corsi Studi Superiori, 1-193, 2019 | 3 | 2019 |