Eugenio Orlandelli

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 17

Top Topics

Sequent Calculi

Cut Elimination

Guarded Fragment

Top Venues

Publications

Eugenio Orlandelli
Quantified Modal Logics: One Approach to Rule (Almost) them All! J. Philos. Log. 53 (4) (2024)
Guido Gherardi, Eugenio Orlandelli, Eric Raidl
Proof Systems for Super- Strict Implication. Stud Logica 112 (1-2) (2024)
Tim S. Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics. TABLEAUX (2023)
Giulio Fellin, Sara Negri, Eugenio Orlandelli
Glivenko sequent classes and constructive cut elimination in geometric logics. Arch. Math. Log. 62 (5-6) (2023)
Tim S. Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics. CoRR (2023)
Eugenio Orlandelli, Matteo Tesi
Labelled sequent calculi for logics of strict implication. AiML (2022)
Guido Gherardi, Eugenio Orlandelli
Non-Normal Super-Strict Implications. NCL (2022)
Eugenio Orlandelli
Labelled calculi for quantified modal logics with definite descriptions. J. Log. Comput. 31 (3) (2021)
Giulio Fellin, Sara Negri, Eugenio Orlandelli
Constructive Cut Elimination in Geometric Logic. TYPES (2021)
Filippo Ferrari, Eugenio Orlandelli
Proof-theoretic pluralism. Synth. 198 (20-S) (2021)
Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli
Interpolation in Extensions of First-Order Logic. Stud Logica 108 (3) (2020)
Eugenio Orlandelli
Labelled calculi for quantified modal logics with definite descriptions. CoRR (2020)
Norbert Gratzl, Eugenio Orlandelli
Logicality, Double-Line Rules, and Modalities. Stud Logica 107 (1) (2019)
Sara Negri, Eugenio Orlandelli
Proof theory for quantified monotone modal logics. Log. J. IGPL 27 (4) (2019)
Eugenio Orlandelli, Giovanna Corsi
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. ARQNL@IJCAR (2018)
Eugenio Orlandelli, Giovanna Corsi
Decidable Term-Modal Logics. EUMAS/AT (2017)
Giovanna Corsi, Eugenio Orlandelli
Sequent Calculi for Indexed Epistemic Logics. ARQNL@IJCAR (2016)
Eugenio Orlandelli
Proof Analysis in Deontic Logics. DEON (2014)
Giovanna Corsi, Eugenio Orlandelli
Free Quantified Epistemic Logics. Stud Logica 101 (6) (2013)