7 citations · 22 across the 9 of their papers we have counts for
10 papers
The temporal logic of coalitional goal assignments in concurrent multi-player games
Sebastian Enqvist, Valentin Goranko
We introduce and study a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quit…
A circular proof system for the hybrid mu-calculus
Sebastian Enqvist
We present a circular and cut-free proof system for the hybrid mu-calculus and prove its soundness and completeness. The system uses names for fixpoint unfoldings, like the circula…
Completeness for Game Logic
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke +2
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-…
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…
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…
Generalized Vietoris Bisimulations
Sebastian Enqvist, Sumit Sourabh
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bis…