7 citations · 22 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 3 cited
Expressiveness of the modal mu-calculus on monotone neighborhood structures
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus.…
cs.LO2015★ 1 cited
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. Similar to wel…