CORSI, GIOVANNA

CORSI, GIOVANNA  

DIPARTIMENTO DI FILOSOFIA  

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