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]

No reviews for this publication, yet.