Research

Publications:

• Logics for Personalized Announcements and Attention Dynamics - with Lei Li, Sonja Smets, and Anthia Solaki, in Review of Analytic Philosophy 5 (1):1, 2025. You can find it here.

• A Logic for General Attention Using Edge-Conditioned Event Models - with Thomas Bolander and Sebastian Watzl. Accepted at IJCAI 2025. You can find an extended version with proofs here.

• Implicit Knowledge in Unawareness Structures - with Burkhard C. Schipper, in Synthese, 2024. You can find it here.

  • • This article extends the conference paper: Implicit Knowledge in Unawareness Structures -- Extended Abstract - with Burkhard C. Schipper. Accepted at TARK 2023. You can find it here. 

• 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 an extended version here.

• 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. You can find it 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. You can find it here. 

  • • This article extends the conference paper: 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. You can find it here.