van de Pol, Iris

1. On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
   2018/05/24 by de Haan, Ronald, van de Pol, Iris · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)