机译:在S5认知时间逻辑中使用下一步时间运算符表征完美召回
Courant Institute of Mathematical Sciences, New York University, New York, USA;
epistemic temporal logic; perfect recall; interpreted systems;
机译:具有时间,空间和认知运算符的线性和仿射逻辑
机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
机译:认证的认知和时间认知逻辑的性质
机译:时间线性认知逻辑的公理化与线性时间的完美召回
机译:在动态认知逻辑中添加时间逻辑。
机译:调整相对亲和度以激活和抑制时间调节的限制修改系统的运算符
机译:使用s5中的下一步时间运算符表征完美的回忆 和亚s5认知时间逻辑