CRIS Current Research Information System

ORLANDELLI, EUGENIO

ORLANDELLI, EUGENIO  

DAR - DIPARTIMENTO DELLE ARTI  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.049 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 E.+Orlandelli,+M.+Tesi,+BSL,+3,+2024.pdf
Proof systems for super-strict implication Guido Gherardi,
Eugenio Orlandelli,
Eric Raidl 		2024-01-01 STUDIA LOGICA - 1.01 Articolo in rivista GerardiOrlandelliRaidl_2023_PSSSI.pdf
Quantified Modal Logics: One Approach to Rule (Almost) them All! Eugenio Orlandelli 2024-01-01 JOURNAL OF PHILOSOPHICAL LOGIC - 1.01 Articolo in rivista Orlandelli_2024_QMLRuleThemAll.pdf
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
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
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
Labelled sequent calculi for logics of strict implication eugenio orlandelli;
matteo tesi 		2022-01-01 - College Publication 4.01 Contributo in Atti di convegno -
Non-Normal Super-Strict Implications Gherardi, Guido; Orlandelli, Eugenio 2022-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno GherardiOrlandelli_2022_NNSSI.pdf
FOIL with constant domains revisited giovanna corsi;
eugenio orlandelli 		2021-01-01 FILOSOFISKA NOTISER - 1.01 Articolo in rivista CorsiOrlandelli_2021_FOILCDRevisited.pdf
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
Proof-theoretic pluralism Ferrari, Filippo; Orlandelli, Eugenio 2021-01-01 SYNTHESE - 1.01 Articolo in rivista Ferrari_Orlandelli_Postprint_Proof.pdf
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics eugenio orlandelli 2021-01-01 LOGIC AND LOGICAL PHILOSOPHY - 1.01 Articolo in rivista Orlandelli_2021_SCNNMDL.pdf
Super-Strict Implications Orlandelli, Eugenio; Gherardi, Guido 2021-01-01 BULLETIN OF THE SECTION OF LOGIC - 1.01 Articolo in rivista GherardiOrlandelli_2021_SuperStrictImp.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
Corso di Logica modale proposizionale Eugenio Orlandelli;
Giovanna Corsi 		2019-01-01 - Carocci 3.01 Monografia / trattato scientifico in forma di libro -
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
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
Labelled sequent calculi for indexed modal logics Orlandelli, Eugenio 2019-01-01 - CLUEB 3.01 Monografia / trattato scientifico in forma di libro -
Logica modale quantificata e designatori non rigidi Orlandelli, Eugenio 2019-01-01 - ArchetipoLibri 3.01 Monografia / trattato scientifico in forma di libro -
Proof theory for quantified monotone modal logics Negri, Sara; Orlandelli, Eugenio 2019-01-01 LOGIC JOURNAL OF THE IGPL - 1.01 Articolo in rivista Negri_Orlandelli_Proof.pdf