The next event is on Thursday, March 12th:
LIRa session: Djanira dos Santos Gomes
Speaker: Djanira dos Santos Gomes (Universität Bern)
Date and Time: Thursday, March 12th 2026, 16:30-18:00
Venue: ILLC Seminar Room F1.15, Science Park 107 and online.
Title: Virtual Group Knowledge and Group Belief in Topological Evidence Models.
Abstract. We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely axiomatize and show the decidability of the logic of (“hard” and “soft”) group evidence, and do the same for an especially interesting fragment of it: the logic of group knowledge and group belief. We also extend these languages with dynamic evidence-sharing operators, and completely axiomatize the corresponding logics, showing that they are co-expressive with their static bases.
More upcoming events:
- Thursday, March 19th, 16:30 - LIRa session: Johan van Benthem
- Thursday, April 9th, 15:30 - LIRa session: Malvin Gattinger
- Thursday, April 16th, 16:30 - LIRa session: Igor Sedlár
- Friday, April 24th, 16:00 - Joint DIP-LIRa session: Fabrizio Cariani
- Friday, May 8th, 16:00 - Joint DIP-LIRa session: Paolo Santorio
- Friday, May 22nd, 16:00 - Joint DIP-LIRa session: Adam Bjorndahl
- Thursday, May 28th, 16:30 - LIRa session: Aybüke Özgün