Seminar Announcement (R. Kuznets)


After a successful first talk given by Fabrizio Riguzzi, our Logic Lunch Seminar Series continues! The second talk will be delivered by Roman Kuznets (TU Wien) next Thursday (March 11th) starting at 12:30. Save the date and join us on Zoom at this link! Title: Intuiting Duals of Proofs Abstract: Justification Logic was introduced by Sergei […]

Last talk of the Online Seminar Series 2020 — V. M. Abrusci: Syllogism and linear logic


The last talk for the year within the cycle of online seminars organized by the Milan Logic Group will be given by Vito Michele Abrusci on December 3rd, 2020, at 10:30 via Zoom. Please contact us for details for joining and stay tuned to this website for upcoming news on events for 2021. Abstract. Discoveries […]

Rasmus Rendsvig – Logics for Social Networks


11 June 2020 – 5pm on Teams In this talk, I will discuss logics for social networks, their epistemic extensions, and dynamics in such structure, including diffusion as modeled by threshold models. I will present a selection of recent models for social networks and their epistemics, with a focus on how these may be represented […]