The Journal of Applied Logic’s latest issue features two new papers by some of our group members. You can easily access them at this link. M. D’Agostino, C. Larese and S. Modgil – Towards Depth-bounded Natural Deduction for Classical First-order Logic Abstract: In this paper we lay the foundations of a new proof-theory for classical […]
We are all very looking forward to the first seminar of our Logic Lunch seminar series! Next Thursday at 12:30, Fabrizio Riguzzi from the University of Ferrara will discuss Probabilistic Logics. Save the date and join us on Zoom at this link! You can find more information in the abstract and flyer below and don’t […]
We are excited to announce that our Logic Seminars Series will re-start next week every Thursday over lunchtime! If you don’t want to miss out, see the list of our amazing invited speakers below, and don’t forget to save the dates on your calendars!
We are thrilled to have on board Costanza Larese, who has just joined us as a Postdoctoral researcher. Costanza graduated in Philosophy from the University of Pisa and Scuola Normale Superiore, where she also received her Ph.D. with a thesis on the principle of analyticity of logic. She was a visiting student at the Munich […]
Recent developments in the formalization of reasoning, especially in computational settings, have aimed at defining cognitive and resource bounds to express limited inferential abilities. This feature is emphasized by Depth Bounded Boolean Logics, an informational logic that models epistemic agents with inferential abilities bounded by the amount of information they can use. However, such logics […]
We are delighted to welcome a new postdoctoral researcher, Esther Anna Corsi, who joined our group on the 1st of December! Esther got a BSc and MSc in Mathematics from the University of Siena. She will soon defend her Ph.D. thesis at TU Wien, where she has worked under the supervision of Prof. Chris Fermüller, […]