Orlandelli, Eugenio; Tesi, Matteo, A Syntactic Proof of the Decidability of First-Order Monadic Logic, «BULLETIN OF THE SECTION OF LOGIC», 2024, online first, pp. 1 - 22 [Scientific article]
Guido Gherardi,
Eugenio Orlandelli,
Eric Raidl, Proof systems for super-strict implication, «STUDIA LOGICA», 2024, 112, pp. 249 - 294 [Scientific article]Open Access
Lyon, Tim S.; Orlandelli, Eugenio, Nested Sequents for Quantified Modal Logics, in: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023, Cham, Springer, 2023, 14278, pp. 449 - 467 (atti di: TABLEAUX 2023, Praga, 19/09-21/09) [Contribution to conference proceedings]Open Access
Giulio Fellin; Sara Negri; Eugenio Orlandelli, Constructive Cut Elimination in Geometric Logic, in: 27th International Conference on Types for Proofs and Programs (TYPES 2021), Leiden, Schloss Dagstuhl, 2022, 239, pp. 1 - 16 (atti di: 27th International Conference on Types for Proofs and Programs (TYPES 2021), virtual, 14-18 Giugno 2021) [Contribution to conference proceedings]Open Access
Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio, Glivenko sequent classes and constructive cut elimination in geometric logics, «ARCHIVE FOR MATHEMATICAL LOGIC», 2022, online first, pp. 1 - 32 [Scientific article]Open Access
eugenio orlandelli;
matteo tesi, Labelled sequent calculi for logics of strict implication, in: Advances in Modal Logic, volume 14, London, College Publication, 2022, pp. 625 - 642 (atti di: Advances in Modal Logic 2022, Rennes, 22-25 Agosto 2022) [Contribution to conference proceedings]
Gherardi, Guido; Orlandelli, Eugenio, Non-Normal Super-Strict Implications, in: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2022, 358, pp. 1 - 11 (atti di: 10th International Conference on Non-Classical Logics. Theory and Applications, Łódź, 14-18 Marzo 2022) [Contribution to conference proceedings]Open Access
giovanna corsi;
eugenio orlandelli, FOIL with constant domains revisited, «FILOSOFISKA NOTISER», 2021, 8, pp. 87 - 102 [Scientific article]Open Access
Orlandelli, Eugenio, Labelled calculi for quantified modal logics with definite descriptions, «JOURNAL OF LOGIC AND COMPUTATION», 2021, 31, pp. 923 - 946 [Scientific article]Open Access
Ferrari, Filippo; Orlandelli, Eugenio, Proof-theoretic pluralism, «SYNTHESE», 2021, 198, pp. 4879 - 4903 [Scientific article]Open Access
eugenio orlandelli, Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics, «LOGIC AND LOGICAL PHILOSOPHY», 2021, 30, pp. 139 - 183 [Scientific article]Open Access
Orlandelli, Eugenio; Gherardi, Guido, Super-Strict Implications, «BULLETIN OF THE SECTION OF LOGIC», 2021, 50, pp. 1 - 34 [Scientific article]Open Access
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio, Interpolation in Extensions of First-Order Logic, «STUDIA LOGICA», 2020, 108, pp. 619 - 648 [Scientific article]Open Access
Eugenio Orlandelli;
Giovanna Corsi, Corso di Logica modale proposizionale, Roma, Carocci, 2019, pp. 193 (STUDI SUPERIORI). [Research monograph]
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 [Scientific article]Open Access
