12 citations · 17 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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…