Eugenio Orlandelli

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