{"id":5535,"date":"2025-12-24T16:31:59","date_gmt":"2025-12-24T15:31:59","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5535"},"modified":"2026-02-23T16:45:48","modified_gmt":"2026-02-23T15:45:48","slug":"lira-session-djanira-dos-santos-gomes","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2025\/12\/lira-session-djanira-dos-santos-gomes\/","title":{"rendered":"LIRa session: Djanira dos Santos Gomes"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/www.inf.unibe.ch\/about_us\/research_groups\/logic_and_theory_group_ltg\/dos_santos_gomes_djanira\/index_eng.html\">Djanira dos Santos Gomes<\/a> (Universit\u00e4t Bern)<\/p>\n<p>Date and Time: Thursday, March&nbsp;12th 2026, 16:30-18:00<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107 <strong>and<\/strong>\u00a0<a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a>.<\/p>\n<p>Title:<strong> Virtual Group Knowledge and Group Belief in Topological Evidence Models.<\/strong><\/p>\n<p><em>Abstract.<\/em> 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 (&#8220;hard&#8221; and &#8220;soft&#8221;) 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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Djanira dos Santos Gomes (Universit\u00e4t Bern)<br \/>\nDate and Time: Thursday, March&nbsp;12th 2026, 16:30-18:00<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107 and\u00a0online.<br \/>\nTitle: Virtual Group Knowledge and Group Belief in Topological Evidence Models.<br \/>\nAbstract. 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 [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14],"tags":[],"class_list":["post-5535","post","type-post","status-publish","format-standard","hentry","category-all"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5535","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=5535"}],"version-history":[{"count":3,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5535\/revisions"}],"predecessor-version":[{"id":5578,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5535\/revisions\/5578"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5535"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5535"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5535"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}