Foto del docente

Giovanna Corsi

Professoressa a contratto a titolo gratuito

Dipartimento di Filosofia e Comunicazione

Pubblicazioni

Giovanna Corsi; Gabriele Tassi, A New Approach to Epistemic Logic, in: Logic, Reasoning, and Rationality, Berlin, Springer, 2014, pp. 25 - 41 [capitolo di libro]

Giovanna Corsi ; Eugenio Orlandelli, Free Quantified Epistemic Logics, «STUDIA LOGICA», 2013, 101, pp. 1159 - 1183 [articolo]

G. CORSI, Modalità indiciate., in: La ricerca logica in Italia. Studi in onore di Corrado Mangione, MILANO, Cisalpino, 2011, pp. 297 - 314 (QUADERNI DI ACME) [capitolo di libro]

G. Corsi, Prefazione, in: L. BAZZOCCHI, L'albero del Tractatus. Genesi, forma e raffigurazione dell'opera mirabile di Wittgenstein., MILANO - UDINE, Mimesis, 2010, pp. 9 - 11 [introduzione]

G. Corsi, "Necessary for", in: Logic, Methodology and Philosophy of Science. Proceedings of the Thirteenth International Congress, LONDON, King's College Publications, 2009, pp. 162 - 184 [capitolo di libro]

Lupacchini R.; Corsi G., Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, MILANO, Springer, 2008, pp. 279 . [curatela]

G. Corsi; R. Lupacchini, Preface, in: Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, BERLIN, Springer, 2008, pp. V - VII [introduzione]

G. Corsi, The Logic of the Weak Excluded Middle: a Case Study of Proof-Search, in: Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, MILANO, Springer, 2008, pp. 95 - 116 [capitolo di libro]

G. Corsi; R. Lupacchini; G. Sandri, Deduction, Computation, Experiment. Exploring the Effectiveness of Proof (Bologna, Italy), 2007. [mostra o esposizione]

G.Corsi; G.Tassi, Intuitionistic logic freed of all metarules, «THE JOURNAL OF SYMBOLIC LOGIC», 2007, 72, pp. 1204 - 1218 [articolo]

CORSI G., Metodi di decisione per la logica intuizionista e la logica di Jankov, in: E.PICARDI R.PINZANI G.SANDRI R.LUPACCHINI M.C. GALAVOTTI R.CAMPANER A. COLIVA E.SACCHI M.FERRIANI, Logica Scienza Linguaggio (vol 28), BOLOGNA, CLUEB, 2006, pp. 65 - 97 (PREPRINT / Dipartimento di Filosofia Università di Bologna) [capitolo di libro]

Corsi G., The a fortiori rule: the key to reach termination in intuitionistic logic, in: Logic and Philosophy in Italy. Some Trends and Perspectives. Essays in Honor of Corrado Mangione on his 75th Birthday., MILANO, Polimetrica, 2006, pp. 27 - 47 [capitolo di libro]