The Model Checking Problem for Distributed Knowing How is ${\Delta }_2^p$-Complete

Ziqi Wang, Ronald de Haan

We investigate the complexity of the model checking problem for distributed knowing how. We show that the problem is ${\Delta }_2^p$-complete.