7 citations · 22 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
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…
cs.LO2020★ 1 cited
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…