ORLANDELLI, EUGENIO
ORLANDELLI, EUGENIO
DIPARTIMENTO DELLE ARTI
Docenti di ruolo di IIa fascia
A Syntactic Proof of the Decidability of First-Order Monadic Logic
2024 Orlandelli, Eugenio; Tesi, Matteo
Constructive Cut Elimination in Geometric Logic
2022 Giulio Fellin; Sara Negri; Eugenio Orlandelli
Corso di Logica modale proposizionale
2019 Eugenio Orlandelli; Giovanna Corsi
Decidable term-modal logics
2018 eugenio orlandelli; giovanna corsi
Double-line Harmony in a Sequent Setting
2017 Norbert, gratzl; eugenio, orlandelli
FOIL with constant domains revisited
2021 giovanna corsi; eugenio orlandelli
Free Quantified Epistemic Logics
2013 Giovanna Corsi ; Eugenio Orlandelli
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
2019 Maffezioli, Paolo; Orlandelli, Eugenio
Glivenko sequent classes and constructive cut elimination in geometric logics
2022 Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
Interpolation in Extensions of First-Order Logic
2020 Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio
Interpolation in singular geometric theories
2019 Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli
Interpolation Theorem for First-Order Theories
2017 Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli
Labelled calculi for quantified modal logics with definite descriptions
2021 Orlandelli, Eugenio
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms
2018 Eugenio Orlandelli; giovanna corsi
Labelled sequent calculi for indexed modal logics
2019 Eugenio Orlandelli
Labelled sequent calculi for logics of strict implication
2022 eugenio orlandelli; matteo tesi
Logica modale quantificata e designatori non rigidi
2019 Eugenio Orlandelli
Logicality, Double-line Rules, and Harmony
2016 Gratzl, Norbert; Orlandelli, Eugenio
Logicality, Double-Line Rules, and Modalities
2018 Gratzl, Norbert; Orlandelli, Eugenio
Nested Sequents for Quantified Modal Logics
2023 Lyon, Tim S.; Orlandelli, Eugenio
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Syntactic Proof of the Decidability of First-Order Monadic Logic | Orlandelli, Eugenio; Tesi, Matteo | 2024-01-01 | BULLETIN OF THE SECTION OF LOGIC | - | 1.01 Articolo in rivista | - |
Constructive Cut Elimination in Geometric Logic | Giulio Fellin; Sara Negri; Eugenio Orlandelli | 2022-01-01 | - | Schloss Dagstuhl | 4.01 Contributo in Atti di convegno | FellinNegriO_2022_ConsCElimGeomL.pdf |
Corso di Logica modale proposizionale |
Eugenio Orlandelli; Giovanna Corsi |
2019-01-01 | - | Carocci | 3.01 Monografia / trattato scientifico in forma di libro | - |
Decidable term-modal logics | eugenio orlandelli; giovanna corsi | 2018-01-01 | - | Springer International Publishing | 4.01 Contributo in Atti di convegno | - |
Double-line Harmony in a Sequent Setting | Norbert, gratzl; eugenio, orlandelli | 2017-01-01 | - | College Publications | 4.01 Contributo in Atti di convegno | - |
FOIL with constant domains revisited |
giovanna corsi; eugenio orlandelli |
2021-01-01 | FILOSOFISKA NOTISER | - | 1.01 Articolo in rivista | CorsiOrlandelli_2021_FOILCDRevisited.pdf |
Free Quantified Epistemic Logics | Giovanna Corsi ; Eugenio Orlandelli | 2013-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | - |
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate | Maffezioli, Paolo; Orlandelli, Eugenio | 2019-01-01 | BULLETIN OF THE SECTION OF LOGIC | - | 1.01 Articolo in rivista | 5441-Article Text-15663-1-10-20190809.pdf |
Glivenko sequent classes and constructive cut elimination in geometric logics | Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio | 2022-01-01 | ARCHIVE FOR MATHEMATICAL LOGIC | - | 1.01 Articolo in rivista | AML_InfGlivenko-2.pdf |
Interpolation in Extensions of First-Order Logic | Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio | 2020-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | FinalSLStyle.pdf |
Interpolation in singular geometric theories | Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli | 2019-01-01 | - | University of Tuebingen | 4.01 Contributo in Atti di convegno | GherardiMaffezioliOrlandelli_2019_InterpolSingGeomTh.pdf |
Interpolation Theorem for First-Order Theories | Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli | 2017-01-01 | THE BULLETIN OF SYMBOLIC LOGIC | - | 1.06 Abstract in rivista | - |
Labelled calculi for quantified modal logics with definite descriptions | Orlandelli, Eugenio | 2021-01-01 | JOURNAL OF LOGIC AND COMPUTATION | - | 1.01 Articolo in rivista | AjlcR1.pdf |
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms | Eugenio Orlandelli; giovanna corsi | 2018-01-01 | - | ceur-ws | 4.01 Contributo in Atti di convegno | - |
Labelled sequent calculi for indexed modal logics | Eugenio Orlandelli | 2019-01-01 | - | CLUEB | 3.01 Monografia / trattato scientifico in forma di libro | - |
Labelled sequent calculi for logics of strict implication |
eugenio orlandelli; matteo tesi |
2022-01-01 | - | College Publication | 4.01 Contributo in Atti di convegno | - |
Logica modale quantificata e designatori non rigidi | Eugenio Orlandelli | 2019-01-01 | - | ArchetipoLibri | 3.01 Monografia / trattato scientifico in forma di libro | - |
Logicality, Double-line Rules, and Harmony | Gratzl, Norbert; Orlandelli, Eugenio | 2016-01-01 | - | University of Tuebingen | 4.01 Contributo in Atti di convegno | - |
Logicality, Double-Line Rules, and Modalities | Gratzl, Norbert; Orlandelli, Eugenio | 2018-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | - |
Nested Sequents for Quantified Modal Logics | Lyon, Tim S.; Orlandelli, Eugenio | 2023-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | LyonOrlandelli_2023_NestedQML.pdf |