23 citations · 42 across the 12 of their papers we have counts for
13 papers
Friction Interventions to Curb the Spread of Misinformation on Social Media
Laura Jahn, Rasmus K. Rendsvig, Alessandro Flammini +2
Social media has enabled the spread of information at unprecedented speeds and scales, and with it the proliferation of high-engagement, low-quality content. *Friction* -- behavior…
Danish National Election 2022 Twitter Data on Likes, Retweets, and Botscores for the Purpose of Exploring Coordinated Inauthenthic Behavior
Laura Jahn, Rasmus K. Rendsvig
This note describes code and experiments related to a Twitter dataset on the Danish National Election 2022, available at Harvard Dataverse (doi.org/10.7910/DVN/RWPZUN). We cluster…
Towards Detecting Inauthentic Coordination in Twitter Likes Data
Laura Jahn, Rasmus K. Rendsvig
Social media feeds typically favor posts according to user engagement. The most ubiquitous type of engagement (and the type we study) is *likes*. Users customarily take engagement…
Detecting Coordinated Inauthentic Behavior in Likes on Social Media: Proof of Concept
Laura Jahn, Rasmus K. Rendsvig, Jacob Stærk-Østergaard
Coordinated inauthentic behavior is used as a tool on social media to shape public opinion by elevating or suppressing topics using systematic engagements -- e.g. through *likes* o…
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Gaia Belardinelli, Rasmus K. Rendsvig
The literature on awareness modeling includes both syntax-free and syntax-based frameworks. Heifetz, Meier \& Schipper (HMS) propose a lattice model of awareness that is syntax-fre…
Epistemic Planning with Attention as a Bounded Resource
Gaia Belardinelli, Rasmus K. Rendsvig
Where information grows abundant, attention becomes a scarce resource. As a result, agents must plan wisely how to allocate their attention in order to achieve epistemic efficiency…
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
Gaia Belardinelli, Rasmus K. Rendsvig
Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattice…
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epist…
Dynamic Term-Modal Logics for First-Order Epistemic Planning
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specify…
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Dominik Klein, Rasmus K. Rendsvig
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements…
Diffusion, Influence and Best-Response Dynamics in Networks: An Action Model Approach
Rasmus K. Rendsvig
Threshold models and their dynamics may be used to model the spread of `behaviors' in social networks. Regarding such from a modal logical perspective, it is shown how standard upd…
Turing Completeness of Finite, Epistemic Programs
Dominik Klein, Rasmus K. Rendsvig
In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are…
Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics
Dominik Klein, Rasmus K. Rendsvig
This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infini…