معرفی
Eugenio Orlandelli is an Associate Professor at the Department of the Arts, University of Bologna. His research focuses on logic and proof theory, with a specialization in modal logics, quantified modal systems, and constructive proof methods. He holds office hours on Thursdays via预约.
Research interests include quantified modal logics, proof-theoretic pluralism, and applications of geometric logics. His work explores nested sequent systems, interpolation theorems, and decidability questions in formal systems. Recent publications highlight advancements in super-strict implication systems and cut elimination techniques.
He actively contributes to teaching modal logics and maintains an extensive publication record in leading journals. His work bridges philosophical logic and mathematical foundations, addressing non-classical systems and computational aspects of proof theory.
