7 citations · 22 across the 9 of their papers we have counts for
9 papers · 1 filter
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…
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…