Eugenio Orlandelli
Title
Cited by
Cited by
Year
Free quantified epistemic logics
G Corsi, E Orlandelli
Studia Logica 101 (6), 1159-1183, 2013
182013
Proof analysis in deontic logics
E Orlandelli
International Conference on Deontic Logic in Computer Science, 139-148, 2014
172014
Decidable term-modal logics
E Orlandelli, G Corsi
Multi-Agent Systems and Agreement Technologies, 147-162, 2017
112017
Logicality, double-line rules, and modalities
N Gratzl, E Orlandelli
Studia Logica 107 (1), 85-107, 2019
52019
Full cut elimination and interpolation for intuitionistic logic with existence predicate
P Maffezioli, E Orlandelli
Wydawnictwo Uniwersytetu Łˇdzkiego, 2019
52019
Double-line harmony in a sequent setting
N Gratzl, E Orlandelli
College Publications, 2017
52017
Sequent Calculi for Indexed Epistemic Logics.
G Corsi, E Orlandelli
ARQNL@ IJCAR, 21-35, 2016
52016
Proof theory for quantified monotone modal logics
S Negri, E Orlandelli
Logic Journal of the IGPL 27 (4), 478-506, 2019
42019
Sequent calculi and interpolation for non-normal logics
E Orlandelli
arXiv preprint arXiv:1903.11342, 2019
32019
Proof theory of quantified modal logics
E Orlandelli
alma, 2014
32014
Interpolation in extensions of first-order logic
G Gherardi, P Maffezioli, E Orlandelli
Studia Logica, 1-30, 2019
22019
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.
E Orlandelli, G Corsi
ARQNL@ IJCAR, 64-78, 2018
22018
Proof-theoretic pluralism
F Ferrari, E Orlandelli
Synthese, 1-25, 2019
12019
Sequent calculi and interpolation for non-normal modal and deonticlogics
E Orlandelli
arXiv preprint arXiv:1903.11342, 2019
12019
Super-Strict Implications
G Gherardi, E Orlandelli
Bulletin of the Section of Logic 50 (1), 1-34, 2021
2021
FOIL with constant domains revisited
G Corsi, E Orlandelli
Short Papers Advances in Modal Logic AiML 2020, 18, 2020
2020
Labelled calculi for quantified modal logics with definite descriptions
E Orlandelli
arXiv preprint arXiv:2002.04855, 2020
2020
Constructive cut elimination in geometric logic
S Negri, E Orlandelli
Interpolation in Singular Geometric
G Gherardi, P Maffezioli, E Orlandelli
Penultimate Version
F Ferrari, E Orlandelli
The system can't perform the operation now. Try again later.
Articles 1–20