77 citations · 145 across the 23 of their papers we have counts for
1 paper · 2 filters
Rodica Bozianu, Catalin Dima, Constantin Enea
We identify a subproblem of the model-checking problem for the epistemic μ-calculus which is decidable. Formulas in the instances of this subproblem allow free variables within the…