ORLANDELLI, EUGENIO
Dettaglio
ORLANDELLI, EUGENIO
DIPARTIMENTO DI FILOSOFIA E COMUNICAZIONE
Ricercatori a tempo determinato
Pubblicazioni
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.001 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | Corso di Logica modale proposizionale | Eugenio Orlandelli; Giovanna Corsi | 2019 | Carocci | 3.01 Monografia / trattato scientifico in forma di libro | - | |
2 | Decidable term-modal logics | eugenio orlandelli; giovanna corsi | 2018 | Springer International Publishing | 4.01 Contributo in Atti di convegno | - | |
3 | Double-line Harmony in a Sequent Setting | Norbert, gratzl; eugenio, orlandelli | 2017 | College Publications | 4.01 Contributo in Atti di convegno | - | |
4 | FOIL with constant domains revisited | giovanna corsi; eugenio orlandelli | 2021 | FILOSOFISKA NOTISER | 1.01 Articolo in rivista | - | |
5 | Free Quantified Epistemic Logics | Giovanna Corsi ; Eugenio Orlandelli | 2013 | STUDIA LOGICA | 1.01 Articolo in rivista | - | |
6 | Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate | Maffezioli, Paolo; Orlandelli, Eugenio | 2019 | BULLETIN OF THE SECTION OF LOGIC | 1.01 Articolo in rivista | ||
7 | Interpolation in Extensions of First-Order Logic | Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio | 2020 | STUDIA LOGICA | 1.01 Articolo in rivista | ||
8 | Interpolation in singular geometric theories | Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli | 2019 | University of Tuebingen | 4.01 Contributo in Atti di convegno | ||
9 | Interpolation Theorem for First-Order Theories | Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli | 2017 | THE BULLETIN OF SYMBOLIC LOGIC | 1.06 Abstract in rivista | - | |
10 | Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms | Eugenio Orlandelli; giovanna corsi | 2018 | ceur-ws | 4.01 Contributo in Atti di convegno | - | |
11 | Labelled sequent calculi for indexed modal logics | Eugenio Orlandelli | 2019 | CLUEB | 3.01 Monografia / trattato scientifico in forma di libro | - | |
12 | Logica modale quantificata e designatori non rigidi | Eugenio Orlandelli | 2019 | ArchetipoLibri | 3.01 Monografia / trattato scientifico in forma di libro | - | |
13 | Logicality, Double-line Rules, and Harmony | Gratzl, Norbert; Orlandelli, Eugenio | 2016 | University of Tuebingen | 4.01 Contributo in Atti di convegno | - | |
14 | Logicality, Double-Line Rules, and Modalities | Gratzl, Norbert; Orlandelli, Eugenio | 2019 | STUDIA LOGICA | 1.01 Articolo in rivista | - | |
15 | Proof Analysis in Deontic Logics | Eugenio Orlandelli | 2014 | Springer | 4.01 Contributo in Atti di convegno | - | |
16 | Proof theory for quantified monotone modal logics | Negri, Sara; Orlandelli, Eugenio | 2019 | LOGIC JOURNAL OF THE IGPL | 1.01 Articolo in rivista | - | |
17 | Proof-theoretic pluralism | Ferrari, Filippo; Orlandelli, Eugenio | 2019 | SYNTHESE | 1.01 Articolo in rivista | ||
18 | Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics | eugenio orlandelli | 2021 | LOGIC AND LOGICAL PHILOSOPHY | 1.01 Articolo in rivista | - | |
19 | sequent calculi for indexed epistemic logics | Corsi, Giovanna; Orlandelli, Eugenio | 2016 | ceur-ws | 4.01 Contributo in Atti di convegno | - | |
20 | Super-Strict Implications | Orlandelli, Eugenio; Gherardi, Guido | 2021 | BULLETIN OF THE SECTION OF LOGIC | 1.01 Articolo in rivista | - |