Dynamic epistemic logic; Limit behavior; Convergence; Recurrence; Dynamical systems; Metric spaces; General topology; Modal logic;
机译:动态认知逻辑中的收敛性,连续性,复发性和图灵完整性
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:动态认知逻辑中的收敛,连续性和递归
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:动态认知逻辑中的收敛性,连续性和复发性
机译:用动态认知逻辑分析耶鲁射击问题