77 citations · 145 across the 23 of their papers we have counts for
1 paper · 2 filters
Rodica Bozianu, Cătălin Dima, Constantin Enea
We show that the model-checking problem is decidable for a fragment of the epistemic μ-calculus. The fragment allows free variables within the scope of epistemic modalities in a re…