7 citations · 22 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
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…
A New Game Equivalence and its Modal Logic
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than…
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…