Department of Computing Imperial College London, UK;
Department of Computing Imperial College London, UK;
机译:具有组知识的一阶线性时间认知逻辑:单项片段的公理化
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:均等和一阶一阶时间逻辑
机译:具有组知识的一阶线性时间认知逻辑:单码片段的公理化
机译:在动态认知逻辑中添加时间逻辑。
机译:量子计算逻辑中的概率和认知操作
机译:具有群体知识的一阶线性时间认知逻辑:monodic Fragment的公理化
机译:知识与信仰的弱逻辑:雅皮一代的认识与逻辑逻辑。