Strong Completeness and Limited Canonicity for PDL

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]

Possibly Related Publications

The following publications are possibly variants of this publication: