DTU Compute Lyngby Denmark;
Center for Information and Bubble Studies University of Copenhagen Copenhagen Denmark;
Social networks; Term-modal logic; Dynamic epistemic logic;
机译:一阶认知规划的动态术语 - 模态逻辑
机译:社交网络中扩散与预测的动态认知逻辑
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:认识社交网络动态的动态术语 - 模态逻辑
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:认识社交网络动态的动态术语 - 模态逻辑