Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic. - Iris van de Pol; Iris van Rooij; Jakub Szymanik (TARK, 2015)

Predicting Cognitive Difficulty of the Deductive Mastermind Game with Dynamic Epistemic Logic Models. - Bonan Zhao 001; Iris van de Pol; Maartje E. J. Raijmakers; Jakub Szymanik (CogSci, 2018)

Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic. - Iris van de Pol; Iris van Rooij; Jakub Szymanik (J. Log. Lang. Inf., 2018)

Complexity and learnability in the explanation of semantic universals of quantifiers. - Iris van de Pol; Shane Steinert-Threlkeld; Jakub Szymanik (CogSci, 2019)

Quantifiers satisfying semantic universals are simpler. - Iris van de Pol; Paul Lodder; Leendert van Maanen; Shane Steinert-Threlkeld; Jakub Szymanik (CogSci, 2021)

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models. - Ronald de Haan; Iris van de Pol (FLAP, 2021)