Strong Completeness and Limited Canonicity for PDL

被引：0
|
作者：
Gerard Renardel de Lavalette
Barteld Kooi
Rineke Verbrugge
机构：
[1] University of Groningen,Department of Computing Science
[2] University of Groningen,Faculty of Philosophy
[3] University of Groningen,Department of Artificial Intelligence
来源：
Journal of Logic, Language and Information | 2009年 / 18卷 / 2期
关键词：
D O I：
10.1007/s10849-009-9083-z
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：291 / 292
页数：1
相关论文
共 50 条
12345