Rasmus K. Rendsvig

Andreas Achen

Artif. Intell., October, 2023

Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models.

[BibT_eX]

[DOI]

Gaia Belardinelli

J. Log. Comput., August, 2023

Metrics for Formal Structures, with an Application to Kripke Models and their dynamics.

[BibT_eX]

[DOI]

J. Symb. Log., 2023

Friction Interventions to Curb the Spread of Misinformation on Social Media.

[BibT_eX]

[DOI]

CoRR, 2023

Danish National Election 2022 Twitter Data on Likes, Retweets, and Botscores for the Purpose of Exploring Coordinated Inauthenthic Behavior.

[BibT_eX]

[DOI]

Laura Jahn

CoRR, 2023

Towards Detecting Inauthentic Coordination in Twitter Likes Data.

[BibT_eX]

[DOI]

Laura Jahn

CoRR, 2023

Detecting Coordinated Inauthentic Behavior in Likes on Social Media: Proof of Concept.

[BibT_eX]

[DOI]

Laura Jahn

Jacob Stærk-Østergaard

CoRR, 2023

2022

Reasoning about epistemic social network dynamics using dynamic term-modal logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

2021

Epistemic Planning with Attention as a Bounded Resource.

[BibT_eX]

[DOI]

Gaia Belardinelli

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Dynamic term-modal logics for first-order epistemic planning.

[BibT_eX]

[DOI]

Andreas Achen

Artif. Intell., 2020

Decidability Results in First-Order Epistemic Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model.

[BibT_eX]

[DOI]

Gaia Belardinelli

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks.

[BibT_eX]

[DOI]

Stud Logica, 2019

Intensional Protocols for Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Hanna S. van Lee

Suzanne van Wijk

J. Philos. Log., 2019

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Dynamic Term-Modal Logics for Epistemic Planning.

[BibT_eX]

[DOI]

Andreas Achen

CoRR, 2019

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Improving Judgment Reliability in Social Networks via Jury Theorems.

[BibT_eX]

[DOI]

Paolo Galeazzi

Marija Slavkovik

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Converging on Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2017

Diffusion, Influence and Best-Response Dynamics in Networks: An Action Model Approach.

[BibT_eX]

[DOI]

CoRR, 2017

Turing Completeness of Finite, Epistemic Programs.

[BibT_eX]

[DOI]

CoRR, 2017

Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2015

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014

Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention.

[BibT_eX]

[DOI]

Synth., 2014

2013

Aggregated Beliefs and Informational Cascades.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012

Using quantified epistemic logic as a modeling tool in cognitive neuropsychology.

[BibT_eX]

[DOI]

Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, 2012

2011

Modeling Semantic Competence: A Critical Review of Frege's Puzzle about Identity.

[BibT_eX]

[DOI]