Foto del docente

Eugenio Orlandelli

Professore associato

Dipartimento delle Arti

Settore scientifico disciplinare: M-FIL/02 LOGICA E FILOSOFIA DELLA SCIENZA

Pubblicazioni

Maffezioli, Paolo; Orlandelli, Eugenio, Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate, «BULLETIN OF THE SECTION OF LOGIC», 2019, 48, pp. 137 - 158 [articolo]Open Access

Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli, Interpolation in singular geometric theories, in: Thomas Piecha; Peter Schroeder-Heister, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, tuebingen, University of Tuebingen, 2019, pp. 787 - 796 (atti di: Proof-Thoeeoretic SemanticsAssessment and Future Perspectives, University of Tuebingen, 27-30 marzo 2019) [Contributo in Atti di convegno]Open Access

Eugenio Orlandelli, Labelled sequent calculi for indexed modal logics, Bologna, CLUEB, 2019, pp. 161 (HEURESIS. LINGUAGGIO, LOGICA, SCIENZA). [libro]

Eugenio Orlandelli, Logica modale quantificata e designatori non rigidi, Bologna, ArchetipoLibri, 2019, pp. 167 (STUDI DI EPISTEMOLOGIA). [libro]

Gratzl, Norbert; Orlandelli, Eugenio, Logicality, Double-Line Rules, and Modalities, «STUDIA LOGICA», 2019, 107, pp. 85 - 107 [articolo]

Negri, Sara; Orlandelli, Eugenio, Proof theory for quantified monotone modal logics, «LOGIC JOURNAL OF THE IGPL», 2019, 27, pp. 478 - 506 [articolo]Open Access

eugenio orlandelli; giovanna corsi, Decidable term-modal logics, in: Multi-Agent Systems and Agreement technologies, Cham, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 10767, pp. 147 - 162 (atti di: EUMAS 2017 and AT 2017, Evry, France, 14-15 December 2017) [Contributo in Atti di convegno]

Eugenio Orlandelli; giovanna corsi, Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms, in: Automated Reasoning in Quantified Non-Classical Logics 3rd InternationalWorkshop, ARQNL 2018, Oxford, United Kingdom, July 18th, 2018, ceur-ws, «CEUR WORKSHOP PROCEEDINGS», 2018, 2095, pp. 64 - 78 (atti di: automated resoning in quantifed non-classical logics 3, oxford, 18/07/2018) [Contributo in Atti di convegno]

Norbert, gratzl; eugenio, orlandelli, Double-line Harmony in a Sequent Setting, in: Logica yearbook 2016, London, College Publications, 2017, pp. 157 - 171 (atti di: Logica 2016, Hejnice Monastery, Czech Republic, 20 -24 giugno 2016) [Contributo in Atti di convegno]

Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli, Interpolation Theorem for First-Order Theories, «THE BULLETIN OF SYMBOLIC LOGIC», 2017, 23, pp. 243 - 244 [abstract]

Gratzl, Norbert; Orlandelli, Eugenio, Logicality, Double-line Rules, and Harmony, in: General Proof Theory, Tuebingen, University of Tuebingen, 2016, pp. 81 - 92 (atti di: General proof Thoery, University of Tuebingen, 27-29 Novembre 2015) [Contributo in Atti di convegno]

Corsi, Giovanna; Orlandelli, Eugenio, sequent calculi for indexed epistemic logics, in: Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016), ceur-ws, «CEUR WORKSHOP PROCEEDINGS», 2016, 1770, pp. 21 - 35 (atti di: 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016), Coimbra, Portugal, 1-07-2016) [Contributo in Atti di convegno]

Eugenio Orlandelli, Proof Analysis in Deontic Logics, in: Deontic Logic and Normative Systems, 12th International Conference, DEON 2014, Heidelberg, Springer, 2014, 8554, pp. 139 - 148 (atti di: DEON 2014, Ghent, 12-14 Luglio 2014) [Contributo in Atti di convegno]

Giovanna Corsi ; Eugenio Orlandelli, Free Quantified Epistemic Logics, «STUDIA LOGICA», 2013, 101, pp. 1159 - 1183 [articolo]