27 citations · 83 across the 25 of their papers we have counts for
3 papers · 1 filter
Uniform Interpolation for Coalgebraic Fixpoint Logic
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…
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.…
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…