The Complexity of Model Checking for Knowledge Update.

Chitta Baral Yan Zhang The Complexity of Model Checking for Knowledge Update. 82-96 2002 conf/kr/2002 KR db/conf/kr/kr2002.html#BaralZ02