Research

Work in progress:

Attention and personalised announcements in social networks - with Lei Li, Sonja Smets, Anthia Solaki.
Tacit knowledge in logic and games - with Burkhard C. Schipper.
Gatekeepers in social networks - with Alexandru Baltag.
Logical models of awareness and attention.

Published:

Implicit Knowledge in Unawareness Structures - with Burkhard C. Schipper. Accepted at TARK 2023. You can find it here. A long version can instead be found here.
A dynamic epistemic logic of attention with attention change and limits on attentional capacities - with Thomas Bolander. Extended Abstract. Accepted at LOGICA 2023.

Attention! Dynamic Epistemic Logic Models for (In)attentive Agents - with Thomas Bolander. Accepted at The 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023). You can find it here. Long version available here.
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models - with Rasmus K. Rendsvig, in Journal of Logic and Computation, 2022, exac009, https://doi.org/10.1093/logcom/exac009.
Epistemic Planning with Attention as a Bounded Resource - with Rasmus K. Rendsvig, in Ghosh, S., Icard, T. (eds) Logic, Rationality, and Interaction. LORI 2021. Lecture Notes in Computer Science(), vol 13039. Springer, Cham. https://doi.org/10.1007/978-3-030-88708-7_2.
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model and a Dynamic Extension - with Rasmus K. Rendsvig, extended abstract published online in Logical Aspects in Multi-Agent Systems and Strategic Reasoning, LAMAS&SR 2021.
Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model - with Rasmus K. Rendsvig, in Martins, M.A., Sedlár, I. (eds) Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science(), vol 12569. Springer, Cham. https://doi.org/10.1007/978-3-030-65840-3_3.