most citedParameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

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…