2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CC2018
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Ronald de Haan, Iris van de Pol
Dynamic epistemic logic (DEL) is a logical framework for representing and reasoning about knowledge change for multiple agents. An important computational task in this framework is…
cs.LO2016★ 2 cited
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Iris van de Pol, Iris van Rooij, Jakub Szymanik
In this paper we introduce a computational-level model of theory of mind (ToM) based on dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a s…