Sfoglia per Autore
Mostrati risultati da 1 a 17 di 17
The a fortiori rule: the key to reach termination in intuitionistic logic
2006 Corsi G.
Metodi di decisione per la logica intuizionista e la logica di Jankov
2006 CORSI G.
Intuitionistic logic freed of all metarules
2007 G.Corsi; G.Tassi
Deduction, Computation, Experiment. Exploring the Effectiveness of Proof (Bologna, Italy)
2007 G. Corsi; R. Lupacchini; G. Sandri
Deduction, Computation, Experiment. Exploring the Effectiveness of Proof
2008 Lupacchini R.; Corsi G.
The Logic of the Weak Excluded Middle: a Case Study of Proof-Search
2008 G. Corsi
Preface
2008 G. Corsi; R. Lupacchini
"Necessary for"
2009 G. Corsi
Prefazione
2010 G. Corsi
Modalità indiciate.
2011 G. CORSI
Free Quantified Epistemic Logics
2013 Giovanna Corsi ; Eugenio Orlandelli
A New Approach to Epistemic Logic
2014 Giovanna Corsi; Gabriele Tassi
sequent calculi for indexed epistemic logics
2016 Corsi, Giovanna; Orlandelli, Eugenio
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
Corso di Logica modale proposizionale
2019 Eugenio Orlandelli; Giovanna Corsi
FOIL with constant domains revisited
2021 giovanna corsi; eugenio orlandelli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| The a fortiori rule: the key to reach termination in intuitionistic logic | Corsi G. | 2006-01-01 | - | Polimetrica | 2.01 Capitolo / saggio in libro | - |
| Metodi di decisione per la logica intuizionista e la logica di Jankov | CORSI G. | 2006-01-01 | - | CLUEB | 2.01 Capitolo / saggio in libro | - |
| Intuitionistic logic freed of all metarules | G.Corsi; G.Tassi | 2007-01-01 | THE JOURNAL OF SYMBOLIC LOGIC | - | 1.01 Articolo in rivista | - |
| Deduction, Computation, Experiment. Exploring the Effectiveness of Proof (Bologna, Italy) | G. Corsi; R. Lupacchini; G. Sandri | 2007-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
| Deduction, Computation, Experiment. Exploring the Effectiveness of Proof | Lupacchini R.; Corsi G. | 2008-01-01 | - | Springer | 3.02 Curatela | - |
| The Logic of the Weak Excluded Middle: a Case Study of Proof-Search | G. Corsi | 2008-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Preface | G. Corsi; R. Lupacchini | 2008-01-01 | - | Springer | 2.04 Breve introduzione | - |
| "Necessary for" | G. Corsi | 2009-01-01 | - | King's College Publications | 2.01 Capitolo / saggio in libro | - |
| Prefazione | G. Corsi | 2010-01-01 | - | Mimesis | 2.04 Breve introduzione | - |
| Modalità indiciate. | G. CORSI | 2011-01-01 | - | Cisalpino | 2.01 Capitolo / saggio in libro | - |
| Free Quantified Epistemic Logics | Giovanna Corsi ; Eugenio Orlandelli | 2013-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | - |
| A New Approach to Epistemic Logic | Giovanna Corsi; Gabriele Tassi | 2014-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| sequent calculi for indexed epistemic logics | Corsi, Giovanna; Orlandelli, Eugenio | 2016-01-01 | - | ceur-ws | 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 | - |
| Corso di Logica modale proposizionale |
Eugenio Orlandelli; Giovanna Corsi |
2019-01-01 | - | Carocci | 3.01 Monografia / trattato scientifico in forma di libro | - |
| FOIL with constant domains revisited |
giovanna corsi; eugenio orlandelli |
2021-01-01 | FILOSOFISKA NOTISER | - | 1.01 Articolo in rivista | CorsiOrlandelli_2021_FOILCDRevisited.pdf |
Mostrati risultati da 1 a 17 di 17
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