ORLANDELLI, EUGENIO

ORLANDELLI, EUGENIO  

DIPARTIMENTO DELLE ARTI  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.047 secondi).
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