Personal information

Activities

Employment (1)

University of Bologna: Bologna, Emilia-Romagna, IT

2020-09-18 to present | Senio assistant professor (Department of Philosophy and Communication Studies)
Employment
Source: Self-asserted source
eugenio orlandelli

Professional activities (2)

Ludwig-Maximilians-Universität München: Munchen, Bayern, DE

2016-11-01 to 2017-02-03 | Vising fellow (Munich Center for Mathematical Philosophy)
Invited position
Source: Self-asserted source
eugenio orlandelli

Ludwig-Maximilians-Universität München: Munchen, Bayern, DE

2015-04-01 to 2015-06-30 | Visiting Fellow (Munich Center for Mathematical philosophy)
Invited position
Source: Self-asserted source
eugenio orlandelli

Works (21)

Quantified Modal Logics: One Approach to Rule (Almost) them All!

Journal of Philosophical Logic
2024-08 | Journal article
Contributors: Eugenio Orlandelli
Source: check_circle
Crossref

Proof Systems for Super- Strict Implication

Studia Logica
2024-04 | Journal article
Contributors: Guido Gherardi; Eugenio Orlandelli; Eric Raidl
Source: check_circle
Crossref

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
2024-02-09 | Journal article
Contributors: Eugenio Orlandelli; Matteo Tesi
Source: check_circle
Crossref

Nested Sequents for Quantified Modal Logics

2023 | Book chapter
Contributors: Tim S. Lyon; Eugenio Orlandelli
Source: check_circle
Crossref

Glivenko sequent classes and constructive cut elimination in geometric logics

Archive for Mathematical Logic
2023-07 | Journal article
Contributors: Giulio Fellin; Sara Negri; Eugenio Orlandelli
Source: check_circle
Crossref

Labelled calculi for quantified modal logics with definite descriptions

Journal of Logic and Computation
2021 | Journal article
EID:

2-s2.0-85113302050

Part of ISSN: 1465363X 0955792X
Contributors: Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Proof-theoretic pluralism

Synthese
2021-08-29 | Journal article
Contributors: Filippo Ferrari; Eugenio Orlandelli
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Super-Strict Implications

Bulletin of the Section of Logic
2021-01-20 | Journal article
Contributors: Guido Gherardi; Eugenio Orlandelli
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Interpolation in Extensions of First-Order Logic

Studia Logica
2020 | Journal article
EID:

2-s2.0-85068836617

Part of ISSN: 15728730 00393215
Contributors: Gherardi, G.; Maffezioli, P.; Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Labelled calculi for quantified modal logics with definite descriptions

arXiv
2020 | Other
EID:

2-s2.0-85093371864

Part of ISSN: 23318422
Contributors: Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Logic and Logical Philosophy
2020-10-10 | Journal article
Contributors: Eugenio Orlandelli
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Full cut elimination and interpolation for intuitionistic logic with existence predicate

Bulletin of the Section of Logic
2019 | Journal article
EID:

2-s2.0-85076042369

Part of ISSN: 01380680
Contributors: Maffezioli, P.; Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Proof theory for quantified monotone modal logics

Logic Journal of the IGPL
2019 | Journal article
EID:

2-s2.0-85089515351

Part of ISSN: 13689894 13670751
Contributors: Negri, S.; Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

arXiv
2019 | Other
EID:

2-s2.0-85093199592

Part of ISSN: 23318422
Contributors: Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Logicality, Double-Line Rules, and Modalities

Studia Logica
2019-02-19 | Journal article
Contributors: Norbert Gratzl; Eugenio Orlandelli
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Decidable Term-Modal Logics

2018 | Book chapter
Contributors: Eugenio Orlandelli; Giovanna Corsi
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Interpolation in extensions of first-order logic

arXiv
2018 | Other
EID:

2-s2.0-85092956569

Part of ISSN: 23318422
Contributors: Gherardi, G.; Maffezioli, P.; Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Labelled calculi for quantified modal logics with non-rigid and non-denoting terms

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85049758230

Part of ISSN: 16130073
Contributors: Orlandelli, E.; Corsi, G.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Sequent calculi for indexed epistemic logics

CEUR Workshop Proceedings
2016 | Conference paper
EID:

2-s2.0-85009433499

Part of ISSN: 16130073
Contributors: Corsi, G.; Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Proof analysis in deontic logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84904213938

Part of ISSN: 16113349 03029743
Contributors: Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Free Quantified Epistemic Logics

Studia Logica
2013 | Journal article
EID:

2-s2.0-84890181897

Part of ISSN: 00393215 15728730
Contributors: Corsi, G.; Orlandelli, E.
Source: Self-asserted source
eugenio orlandelli via Scopus - Elsevier

Peer review (16 reviews for 6 publications/grants)

Review activity for Annals of pure and applied logic. (2)
Review activity for Erkenntnis. (2)
Review activity for Foundations of science. (1)
Review activity for Journal of philosophical logic. (2)
Review activity for Studia logica. (7)
Review activity for Synthese. (2)