Martin Lange. A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. In Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004. pages 133-147, King s College Publications, 2004. [doi]
Abstract is missing.