机译:时态动态宗法逻辑
Beijing Normal Univ, Sch Philosophy, Beijing, Peoples R China;
Ctr Wiskunde & Informat, Amsterdam, Netherlands|Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands;
To do something else; process logic; bad transitions; deontic logic;
机译:模糊语言表达式多价神出哈尔珀 - Shoham逻辑
机译:二维标准道义逻辑[包括对1985年Jones–P?rn道理逻辑系统的详细分析]
机译:二维标准道义逻辑[包括对1985年Jones-P?rn道理逻辑系统的详细分析]
机译:结合动态导论逻辑和时间逻辑来指定截止日期
机译:在动态认知逻辑中添加时间逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:结合动态导论逻辑和时间逻辑来规定期限