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]
@inproceedings{Lange04:0,
title = {A Lower Complexity Bound for Propositional Dynamic Logic with Intersection},
author = {Martin Lange},
year = {2004},
url = {http://www.aiml.net/volumes/volume5/Lange.ps},
tags = {logic},
researchr = {https://researchr.org/publication/Lange04%3A0},
cites = {0},
citedby = {0},
pages = {133-147},
booktitle = {Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004},
editor = {Renate A. Schmidt and Ian Pratt-Hartmann and Mark Reynolds and Heinrich Wansing},
publisher = {King s College Publications},
isbn = {1-904987-22-2},
}