...
机译:时态时间逻辑中的动作和知识
Department of Informatics University of Bergen;
机译:基于共同知识的带有策略的模式变更时态逻辑是无法确定的
机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
机译:合作,知识和时间:时空时间认知逻辑及其应用
机译:时空时间认知逻辑中的知识遗忘语义
机译:动态系统满足时间逻辑规范的恢复能力
机译:通过时间抽象发现医学的时间知识
机译:模型检查交替时间的时间逻辑与知识,不完善的信息,完美的召回和沟通联盟