CORSI, GIOVANNA
Dettaglio
CORSI, GIOVANNA
DIPARTIMENTO DI FILOSOFIA E COMUNICAZIONE
Pubblicazioni
Risultati 1 - 17 di 17 (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 | Deduction, Computation, Experiment. Exploring the Effectiveness of Proof | Lupacchini R.; Corsi G. | 2008 | Springer | 3.02 Curatela | - | |
4 | Deduction, Computation, Experiment. Exploring the Effectiveness of Proof (Bologna, Italy) | G. Corsi; R. Lupacchini; G. Sandri | 2007 | 7.12 Attività espositiva:Mostra o Esposizione | - | ||
5 | FOIL with constant domains revisited | giovanna corsi; eugenio orlandelli | 2021 | FILOSOFISKA NOTISER | 1.01 Articolo in rivista | - | |
6 | Free Quantified Epistemic Logics | Giovanna Corsi ; Eugenio Orlandelli | 2013 | STUDIA LOGICA | 1.01 Articolo in rivista | - | |
7 | Intuitionistic logic freed of all metarules | G.Corsi; G.Tassi | 2007 | THE JOURNAL OF SYMBOLIC LOGIC | 1.01 Articolo in rivista | - | |
8 | 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 | - | |
9 | Metodi di decisione per la logica intuizionista e la logica di Jankov | CORSI G. | 2006 | CLUEB | 2.01 Capitolo / saggio in libro | - | |
10 | Modalità indiciate. | G. CORSI | 2011 | Cisalpino | 2.01 Capitolo / saggio in libro | - | |
11 | "Necessary for" | G. Corsi | 2009 | King's College Publications | 2.01 Capitolo / saggio in libro | - | |
12 | A New Approach to Epistemic Logic | Giovanna Corsi; Gabriele Tassi | 2014 | Springer | 2.01 Capitolo / saggio in libro | - | |
13 | Preface | G. Corsi; R. Lupacchini | 2008 | Springer | 2.04 Breve introduzione | - | |
14 | Prefazione | G. Corsi | 2010 | Mimesis | 2.04 Breve introduzione | - | |
15 | sequent calculi for indexed epistemic logics | Corsi, Giovanna; Orlandelli, Eugenio | 2016 | ceur-ws | 4.01 Contributo in Atti di convegno | - | |
16 | The a fortiori rule: the key to reach termination in intuitionistic logic | Corsi G. | 2006 | Polimetrica | 2.01 Capitolo / saggio in libro | - | |
17 | The Logic of the Weak Excluded Middle: a Case Study of Proof-Search | G. Corsi | 2008 | Springer | 2.01 Capitolo / saggio in libro | - |