Follow
Eugenio Orlandelli
Title
Cited by
Cited by
Year
Free quantified epistemic logics
G Corsi, E Orlandelli
Studia Logica 101, 1159-1183, 2013
282013
Proof analysis in deontic logics
E Orlandelli
Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014
202014
Decidable term-modal logics
E Orlandelli, G Corsi
Multi-Agent Systems and Agreement Technologies: 15th European Conference …, 2018
162018
Labelled calculi for quantified modal logics with definite descriptions
E Orlandelli
Journal of Logic and Computation 31 (3), 923-946, 2021
132021
Sequent calculi and interpolation for non-normal modal and deontic logics
E Orlandelli
Logic and Logical Philosophy 30 (1), 139-183, 2021
92021
Full cut elimination and interpolation for intuitionistic logic with existence predicate
P Maffezioli, E Orlandelli
Wydawnictwo Uniwersytetu Łódzkiego, 2019
92019
Super-strict implications
G Gherardi, E Orlandelli
Bulletin of the Section of Logic 50 (1), 1-34, 2021
82021
Double-line harmony in a sequent setting
N Gratzl, E Orlandelli
College Publications, 2017
82017
Proof theory for quantified monotone modal logics
S Negri, E Orlandelli
Logic Journal of the IGPL 27 (4), 478-506, 2019
72019
Proof-theoretic pluralism
F Ferrari, E Orlandelli
Synthese 198 (Suppl 20), 4879-4903, 2021
62021
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.
E Orlandelli, G Corsi
ARQNL@ IJCAR, 64-78, 2018
62018
Non-normal super-strict implications
G Gherardi, E Orlandelli
arXiv preprint arXiv:2204.06721, 2022
52022
Interpolation in extensions of first-order logic
G Gherardi, P Maffezioli, E Orlandelli
Studia Logica 108, 619-648, 2020
52020
Sequent calculi and interpolation for non-normal modal and deonticlogics
E Orlandelli
arXiv preprint arXiv:1903.11342, 2019
52019
Logicality, double-line rules, and modalities
N Gratzl, E Orlandelli
Studia Logica 107, 85-107, 2019
52019
Sequent Calculi for Indexed Epistemic Logics.
G Corsi, E Orlandelli
ARQNL@ IJCAR, 21-35, 2016
52016
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
42023
Constructive cut elimination in geometric logic
F Giulio, N Sara, E Orlandelli
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 239, 1-16, 2022
32022
Corso di logica modale proposizionale
E Orlandelli, G Corsi
Studi Superiori, 1-193, 2019
32019
Proof theory of quantified modal logics
E Orlandelli
alma, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20