Iris van de Pol

From MaRDI portal
Person:1711513

Available identifiers

zbMath Open van-de-pol.irisMaRDI QIDQ1711513

List of research outcomes





PublicationDate of PublicationType
On the computational complexity of model checking for dynamic epistemic logic with S5 models2022-10-12Paper
Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic2021-12-07Paper
Parameterized complexity of theory of mind reasoning in dynamic epistemic logic2019-01-18Paper

Research outcomes over time

This page was built for person: Iris van de Pol

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1711513&oldid=6367642"
Powered by MediaWiki