Eugenio Orlandelli

Available identifiers

Publication	Date of Publication	Type
Non-normal super-strict implications	2025-01-09	Paper
Quantified modal logics: one approach to rule (almost) them all!	2024-09-17	Paper
Constructive cut elimination in geometric logic	2024-08-01	Paper
Proof systems for super-strict implication	2024-04-10	Paper
Proof-theoretic pluralism	2023-12-14	Paper
Nested Sequents for Quantified Modal Logics	2023-07-16	Paper
Glivenko sequent classes and constructive cut elimination in geometric logics	2023-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q5884968	2023-03-24	Paper
Proof theory for quantified monotone modal logics	2021-12-03	Paper
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics	2021-12-02	Paper
Labelled calculi for quantified modal logics with definite descriptions	2021-09-22	Paper
Super-Strict Implications	2021-07-07	Paper
Interpolation in extensions of first-order logic	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	2019-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q5224889	2019-07-24	Paper
Logicality, double-line rules, and modalities	2019-05-15	Paper
Sequent calculi and interpolation for non-normal modal and deonticlogics	2019-03-27	Paper
Proof Analysis in Deontic Logics	2014-09-08	Paper
Free quantified epistemic logics	2014-06-19	Paper

This page was built for person: Eugenio Orlandelli