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]

Abstract

Abstract is missing.