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…