7 citations · 22 across the 9 of their papers we have counts for
Showing 2017 · cs.LOShow all
3 papers · 2 filters
cs.LO2017
Flat modal fixpoint logics with the converse modality
Sebastian Enqvist
We prove a generic completeness result for a class of modal fixpoint logics corresponding to flat fragments of the two-way mu-calculus, extending earlier work by Santocanale and Ve…
cs.LO2017★ 2 cited
Disjunctive bases: normal forms and model theory for modal logics
Sebastian Enqvist, Yde Venema
We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on complete…
cs.LO2017★ 2 cited
An expressive completeness theorem for coalgebraic modal mu-calculi
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. We then consid…