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]
No references recorded for this publication.
No citations of this publication recorded.