The Logical Structure of Correlated Information Change
Presentations, abstracts and more
Gabriel Sandu: Knowledge of moves versus knowledge of strategies in IF games: presentation slides , abstract
Marija Slavkovik: Verifying social network information sharing phenomena: presentation slides , article 1 (An abstract formal basis for digital crowds), article 2 (“How Did They Know?”—Model-checking for Analysis of Information Leakage in Social Networks), abstract
Marta Bilkova: Information, Belief, Knowledge — Epistemic logics based on information states semantics: presentation slides , abstract
Rasmus K. Rendsvig and Dominik Klein: Attaining Common Knowledge in Distributed Systems Or: When the Generals Attack, We’re All Dead! presentation slides , abstract
Patrick Allo: Tracking common information and public announcements in online discussions. A data-driven and logically informed study of the Polymath-projects: presentation slides , abstract