1.0LOJun 25
The Model Checking Problem for Distributed Knowing How is $Δ^p_2$-CompleteZiqi Wang, Ronald de Haan
We investigate the complexity of the model checking problem for distributed knowing how. We show that the problem is $Δ^p_2$-complete.
Ziqi Wang
1paper