A Canonical Model Construction for Iteration-Free PDL with Intersection

Florian Bruse, Daniel Kernberger, Martin Lange