12 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.LO2016
A Canonical Model Construction for Iteration-Free PDL with Intersection
Florian Bruse, Daniel Kernberger, Martin Lange
We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and te…
cs.LO2016★ 2 cited
Alternation Is Strict For Higher-Order Modal Fixpoint Logic
Florian Bruse
We study the expressive power of Alternating Parity Krivine Automata (APKA), which provide operational semantics to Higher-Order Modal Fixpoint Logic (HFL). APKA consist of ordinar…
cs.LO2014★ 12 cited
The Fixpoint-Iteration Algorithm for Parity Games
Florian Bruse, Michael Falk, Martin Lange
It is known that the model checking problem for the modal mu-calculus reduces to the problem of solving a parity game and vice-versa. The latter is realised by the Walukiewicz form…