Rasmus K. Rendsvig

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 24

Top Topics

Epistemic Logic

Network Dynamics

Prime Implicates

Top Venues

J. Log. Comput.

Publications

Dominik Klein, Rasmus K. Rendsvig
Metrics for Formal Structures, with an Application to Kripke Models and their dynamics. J. Symb. Log. 88 (2) (2023)
Laura Jahn, Rasmus K. Rendsvig, Alessandro Flammini, Filippo Menczer, Vincent F. Hendricks
Friction Interventions to Curb the Spread of Misinformation on Social Media. CoRR (2023)
Laura Jahn, Rasmus K. Rendsvig
Towards Detecting Inauthentic Coordination in Twitter Likes Data. CoRR (2023)
Gaia Belardinelli, Rasmus K. Rendsvig
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. J. Log. Comput. 33 (6) (2023)
Laura Jahn, Rasmus K. Rendsvig
Danish National Election 2022 Twitter Data on Likes, Retweets, and Botscores for the Purpose of Exploring Coordinated Inauthenthic Behavior. CoRR (2023)
Laura Jahn, Rasmus K. Rendsvig, Jacob Stærk-Østergaard
Detecting Coordinated Inauthentic Behavior in Likes on Social Media: Proof of Concept. CoRR (2023)
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Reasoning about epistemic social network dynamics using dynamic term-modal logic. J. Log. Comput. 32 (6) (2022)
Gaia Belardinelli, Rasmus K. Rendsvig
Epistemic Planning with Attention as a Bounded Resource. CoRR (2021)
Gaia Belardinelli, Rasmus K. Rendsvig
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models. CoRR (2021)
Gaia Belardinelli, Rasmus K. Rendsvig
Epistemic Planning with Attention as a Bounded Resource. LORI (2021)
Gaia Belardinelli, Rasmus K. Rendsvig
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model. CoRR (2020)
Gaia Belardinelli, Rasmus K. Rendsvig
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model. DaLí (2020)
Dominik Klein, Rasmus K. Rendsvig
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1. J. Log. Comput. 30 (6) (2020)
Andreas Achen, Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Dynamic Term-Modal Logics for Epistemic Planning. CoRR (2019)
Hanna S. van Lee, Rasmus K. Rendsvig, Suzanne van Wijk
Intensional Protocols for Dynamic Epistemic Logic. J. Philos. Log. 48 (6) (2019)
Paolo Galeazzi, Rasmus K. Rendsvig, Marija Slavkovik
Improving Judgment Reliability in Social Networks via Jury Theorems. LORI (2019)
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version). CoRR (2019)
Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. Stud Logica 107 (3) (2019)
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics. LORI (2019)
Dominik Klein, Rasmus K. Rendsvig
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic. CoRR (2017)
Dominik Klein, Rasmus K. Rendsvig
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic. LORI (2017)
Rasmus K. Rendsvig
Diffusion, Influence and Best-Response Dynamics in Networks: An Action Model Approach. CoRR (2017)
Dominik Klein, Rasmus K. Rendsvig
Turing Completeness of Finite, Epistemic Programs. CoRR (2017)
Rasmus K. Rendsvig
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. LORI (2015)
Rasmus K. Rendsvig
Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention. Synth. 191 (11) (2014)
Rasmus K. Rendsvig
Aggregated Beliefs and Informational Cascades. LORI (2013)
Rasmus K. Rendsvig
Using quantified epistemic logic as a modeling tool in cognitive neuropsychology. ESSLLI Logic & Cognition Workshop (2012)
Rasmus K. Rendsvig
Modeling Semantic Competence: A Critical Review of Frege's Puzzle about Identity. ESSLLI Student Sessions (2011)