Eugenio Orlandelli

MaRDI QIDQ2016053zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Non-normal super-strict implications	2025-01-09	Paper
Quantified modal logics: one approach to rule (almost) them all! Journal of Philosophical Logic	2024-09-17	Paper
Constructive cut elimination in geometric logic	2024-08-01	Paper
Proof systems for super-strict implication Studia Logica	2024-04-10	Paper
Proof-theoretic pluralism Synthese	2023-12-14	Paper
Nested Sequents for Quantified Modal Logics	2023-07-16	Paper
Glivenko sequent classes and constructive cut elimination in geometric logics Archive for Mathematical Logic	2023-06-05	Paper
Labelled sequent calculi for logics of strict implication	2023-03-24	Paper
Proof theory for quantified monotone modal logics Logic Journal of the IGPL	2021-12-03	Paper
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics Logic and Logical Philosophy	2021-12-02	Paper
Labelled calculi for quantified modal logics with definite descriptions Journal Of Logic And Computation	2021-09-22	Paper
Super-strict implications Bulletin of the Section of Logic	2021-07-07	Paper
Interpolation in extensions of first-order logic Studia Logica	2020-06-09	Paper
Labelled calculi for quantified modal logics with definite descriptions	2020-02-12	Paper
Full cut elimination and interpolation for intuitionistic logic with existence predicate Bulletin of the Section of Logic	2019-10-31	Paper
Double-line harmony in a sequent setting	2019-07-24	Paper
Logicality, double-line rules, and modalities Studia Logica	2019-05-15	Paper
Sequent calculi and interpolation for non-normal modal and deonticlogics	2019-03-27	Paper
Proof analysis in deontic logics Deontic Logic and Normative Systems	2014-09-08	Paper
Free quantified epistemic logics Studia Logica	2014-06-19	Paper

Research outcomes over time

This page was built for person: Eugenio Orlandelli