Sfoglia per Autore
Free Quantified Epistemic Logics
2013 Giovanna Corsi ; Eugenio Orlandelli
Proof Analysis in Deontic Logics
2014 Eugenio Orlandelli
Logicality, Double-line Rules, and Harmony
2016 Gratzl, Norbert; Orlandelli, Eugenio
sequent calculi for indexed epistemic logics
2016 Corsi, Giovanna; Orlandelli, Eugenio
Interpolation Theorem for First-Order Theories
2017 Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli
Double-line Harmony in a Sequent Setting
2017 Norbert, gratzl; eugenio, orlandelli
Decidable term-modal logics
2018 eugenio orlandelli; giovanna corsi
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms
2018 Eugenio Orlandelli; giovanna corsi
Logicality, Double-Line Rules, and Modalities
2018 Gratzl, Norbert; Orlandelli, Eugenio
Interpolation in singular geometric theories
2019 Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli
Labelled sequent calculi for indexed modal logics
2019 Eugenio Orlandelli
Logica modale quantificata e designatori non rigidi
2019 Eugenio Orlandelli
Corso di Logica modale proposizionale
2019 Eugenio Orlandelli; Giovanna Corsi
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
2019 Maffezioli, Paolo; Orlandelli, Eugenio
Proof theory for quantified monotone modal logics
2019 Negri, Sara; Orlandelli, Eugenio
Interpolation in Extensions of First-Order Logic
2020 Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
2021 eugenio orlandelli
Super-Strict Implications
2021 Orlandelli, Eugenio; Gherardi, Guido
Proof-theoretic pluralism
2021 Ferrari, Filippo; Orlandelli, Eugenio
Labelled calculi for quantified modal logics with definite descriptions
2021 Orlandelli, Eugenio
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Free Quantified Epistemic Logics | Giovanna Corsi ; Eugenio Orlandelli | 2013-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | - |
Proof Analysis in Deontic Logics | Eugenio Orlandelli | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Logicality, Double-line Rules, and Harmony | Gratzl, Norbert; Orlandelli, Eugenio | 2016-01-01 | - | University of Tuebingen | 4.01 Contributo in Atti di convegno | - |
sequent calculi for indexed epistemic logics | Corsi, Giovanna; Orlandelli, Eugenio | 2016-01-01 | - | ceur-ws | 4.01 Contributo in Atti di convegno | - |
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 | - |
Double-line Harmony in a Sequent Setting | Norbert, gratzl; eugenio, orlandelli | 2017-01-01 | - | College Publications | 4.01 Contributo in Atti di convegno | - |
Decidable term-modal logics | eugenio orlandelli; giovanna corsi | 2018-01-01 | - | Springer International Publishing | 4.01 Contributo in Atti di convegno | - |
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 | - |
Logicality, Double-Line Rules, and Modalities | Gratzl, Norbert; Orlandelli, Eugenio | 2018-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | - |
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 | Eugenio Orlandelli | 2019-01-01 | - | CLUEB | 3.01 Monografia / trattato scientifico in forma di libro | - |
Logica modale quantificata e designatori non rigidi | Eugenio Orlandelli | 2019-01-01 | - | ArchetipoLibri | 3.01 Monografia / trattato scientifico in forma di libro | - |
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 |
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 |
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 |
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 |
Proof-theoretic pluralism | Ferrari, Filippo; Orlandelli, Eugenio | 2021-01-01 | SYNTHESE | - | 1.01 Articolo in rivista | Ferrari_Orlandelli_Postprint_Proof.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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile