CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoORLANDELLI, EUGENIO
Dettaglio
ORLANDELLI, EUGENIO
DIPARTIMENTO DI FILOSOFIA E COMUNICAZIONE
Ricercatori a tempo determinato
Pubblicazioni
Risultati 1 - 20 di 21 (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 definite descriptions | Orlandelli, Eugenio | 2021 | JOURNAL OF LOGIC AND COMPUTATION | 1.01 Articolo in rivista | - | |
| 11 | 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 | - | |
| 12 | Labelled sequent calculi for indexed modal logics | Eugenio Orlandelli | 2019 | CLUEB | 3.01 Monografia / trattato scientifico in forma di libro | - | |
| 13 | Logica modale quantificata e designatori non rigidi | Eugenio Orlandelli | 2019 | ArchetipoLibri | 3.01 Monografia / trattato scientifico in forma di libro | - | |
| 14 | Logicality, Double-line Rules, and Harmony | Gratzl, Norbert; Orlandelli, Eugenio | 2016 | University of Tuebingen | 4.01 Contributo in Atti di convegno | - | |
| 15 | Logicality, Double-Line Rules, and Modalities | Gratzl, Norbert; Orlandelli, Eugenio | 2019 | STUDIA LOGICA | 1.01 Articolo in rivista | - | |
| 16 | Proof Analysis in Deontic Logics | Eugenio Orlandelli | 2014 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 17 | Proof theory for quantified monotone modal logics | Negri, Sara; Orlandelli, Eugenio | 2019 | LOGIC JOURNAL OF THE IGPL | 1.01 Articolo in rivista | - | |
| 18 | Proof-theoretic pluralism | Ferrari, Filippo; Orlandelli, Eugenio | 2019 | SYNTHESE | 1.01 Articolo in rivista | ||
| 19 | Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics | eugenio orlandelli | 2021 | LOGIC AND LOGICAL PHILOSOPHY | 1.01 Articolo in rivista | - | |
| 20 | sequent calculi for indexed epistemic logics | Corsi, Giovanna; Orlandelli, Eugenio | 2016 | ceur-ws | 4.01 Contributo in Atti di convegno | - |
Copyright © 2021