Erratum: Strong Completeness and Limited Canonicity for PDL
Gerard Renardel de Lavalette, Barteld Kooi and Rineke Verbrugge
- 期刊名称Journal of Logic, Language, and Information
- 作者Gerard Renardel de Lavalette, Barteld Kooi and Rineke Verbrugge
- 卷第18卷
- 期第2期
- 印刷ISSN0925-8531
- 电子ISSN1572-9583
- 文件大小279.82KB
- 发表时间2009
- DOI10.2307/40345518
- 页码291-292