Lange, Lutz, 2005. 2-Exp Time lower bounds for propositional dynamic logics with intersection 70.. https://doi.org/10.2178/jsl/1129642115