2-Exp Time lower bounds for propositional dynamic logics with intersection

MLA

Lange, Martin, and Carsten Lutz. “2-Exp Time Lower Bounds for Propositional Dynamic Logics with Intersection.” Journal of Symbolic Logic, vol. 70, no. 4, Dec. 2005, pp. 1072–86. EBSCOhost, https://doi.org/10.2178/jsl/1129642115.

APA

Lange, M., & Lutz, C. (2005). 2-Exp Time lower bounds for propositional dynamic logics with intersection. Journal of Symbolic Logic, 70(4), 1072–1086. https://doi.org/10.2178/jsl/1129642115

Chicago

Lange, Martin, and Carsten Lutz. 2005. “2-Exp Time Lower Bounds for Propositional Dynamic Logics with Intersection.” Journal of Symbolic Logic 70 (4): 1072–86. doi:10.2178/jsl/1129642115.