Eugenio Orlandelli

According to our database, Eugenio Orlandelli authored at least 16 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Proof Systems for Super- Strict Implication.

Guido Gherardi, Eugenio Orlandelli, Eric Raidl

Stud Logica, April, 2024

2023

Glivenko sequent classes and constructive cut elimination in geometric logics.

Giulio Fellin, Sara Negri, Eugenio Orlandelli

Arch. Math. Log., July, 2023

Nested Sequents for Quantified Modal Logics.

Tim S. Lyon, Eugenio Orlandelli

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Non-Normal Super-Strict Implications.

Guido Gherardi, Eugenio Orlandelli

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Labelled sequent calculi for logics of strict implication.

Eugenio Orlandelli, Matteo Tesi

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Proof-theoretic pluralism.

Filippo Ferrari, Eugenio Orlandelli

Synth., 2021

Labelled calculi for quantified modal logics with definite descriptions.

Eugenio Orlandelli

J. Log. Comput., 2021

Constructive Cut Elimination in Geometric Logic.

Giulio Fellin, Sara Negri, Eugenio Orlandelli

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2020

Interpolation in Extensions of First-Order Logic.

Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli

Stud Logica, 2020

2019

Logicality, Double-Line Rules, and Modalities.

Norbert Gratzl, Eugenio Orlandelli

Stud Logica, 2019

Proof theory for quantified monotone modal logics.

Sara Negri, Eugenio Orlandelli

Log. J. IGPL, 2019

2018

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.

Eugenio Orlandelli, Giovanna Corsi

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Decidable Term-Modal Logics.

Eugenio Orlandelli, Giovanna Corsi

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

2016

Sequent Calculi for Indexed Epistemic Logics.

Giovanna Corsi, Eugenio Orlandelli

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

2014

Proof Analysis in Deontic Logics.

Eugenio Orlandelli

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2013

Free Quantified Epistemic Logics.

Giovanna Corsi, Eugenio Orlandelli

Stud Logica, 2013