Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge. Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information, 17(1):69-87, 2008. [doi]
@article{LavaletteKV08,
title = {Strong Completeness and Limited Canonicity for PDL},
author = {Gerard R. Renardel de Lavalette and Barteld P. Kooi and Rineke Verbrugge},
year = {2008},
doi = {10.1007/s10849-007-9051-4},
url = {http://dx.doi.org/10.1007/s10849-007-9051-4},
tags = {completeness},
researchr = {https://researchr.org/publication/LavaletteKV08},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {17},
number = {1},
pages = {69-87},
}