Login / Signup
Iris van de Pol
ORCID
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 6
Top Topics
Dynamic Epistemic Logic
Formal Specification
Parameterized Complexity
Model Checking
Top Venues
CogSci
CoRR
J. Log. Lang. Inf.
FLAP
</>
Publications
</>
Ronald de Haan
,
Iris van de Pol
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models.
FLAP
8 (3) (2021)
Iris van de Pol
,
Shane Steinert-Threlkeld
,
Jakub Szymanik
Complexity and learnability in the explanation of semantic universals of quantifiers.
CogSci
(2019)
Ronald de Haan
,
Iris van de Pol
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models.
CoRR
(2018)
Bonan Zhao
,
Iris van de Pol
,
Maartje E. J. Raijmakers
,
Jakub Szymanik
Predicting Cognitive Difficulty of the Deductive Mastermind Game with Dynamic Epistemic Logic Models.
CogSci
(2018)
Iris van de Pol
,
Iris van Rooij
,
Jakub Szymanik
Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.
J. Log. Lang. Inf.
27 (3) (2018)
Iris van de Pol
,
Iris van Rooij
,
Jakub Szymanik
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic.
TARK
(2015)