Seminari di Logica 2019-2020 a cura del Logic Group

Online Seminar Series

 

19/03/20 Pere Pardo - University of Milan
Title: Towards a Tractable Epistemic Logic.

22/04/20 Ofer Arieli - Academic College of Tel-Aviv
Title: Sequent-based deductive argumentation
Abstract: Sequent-based argumentation is a general approach to reasoning with deductive (logical) argumentation, motivated by proof-theoretic considerations. In this talk we review some of the principles of this approach and describe several results concerning its characteristics. In particular, we present completeness results in terms of dynamic proofs, show their relations to reasoning with maximal consistency, and study the satisfiability of common rationality postulates in several sequent-based settings.

19/03/20 Anthia Solaki - University of Amsterdam
Title and Abstract TBA

30/04/20 Rasmus Rendsvig - University of Copenaghen
Title and Abstract TBA

07/05/20 Jonathan Lawry - University of Bristol
Title and Abstract TBA

14/05/20 Marcelo Finger - University of Sao Paulo
Title and Abstract TBA

21/05/20 Nina Gierasimczuk - Technical University of Denmark
Title and Abstract TBA

27/05/20 Anthia Solaki - University of Amsterdam
Title and Abstract TBA

05/06/20 Mario Piazza - Università di Pisa
Title and Abstract TBA

Aggiornamenti al programma saranno comunicati tempestivamente su http://www.filosofia.unimi.it/logic/events/