27 citations · 83 across the 25 of their papers we have counts for
1 paper · 1 filter
Lutz Schröder, Yde Venema
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among t…