Foto del docente

Giovanna Corsi

Professor

Department of Philosophy and Communication Studies

Academic discipline: M-FIL/02 Logic and Philosophy of Science

Publications

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

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

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) [Chapter or essay]

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 [Brief introduction]

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 [Chapter or essay]

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

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

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 [Chapter or essay]

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

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

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) [Chapter or essay]

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 [Chapter or essay]