10 citations · 15 across the 9 of their papers we have counts for
1 paper · 1 filter
Johannes Marti, Fatemeh Seifan, Yde Venema
We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the…