27 citations · 83 across the 25 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008
Completeness for Flat Modal Fixpoint Logics
Luigi Santocanale, Yde Venema
This paper exhibits a general and uniform method to prove completeness for certain modal fixpoint logics. Given a set Γof modal formulas of the form γ(x, p1, . . ., pn), where x oc…
cs.LO2008★ 25 cited
Coalgebraic Automata Theory: Basic Results
C. Kupke, Y. Venema
We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on…