University of Otago, New Zealand;
University of Liverpool, United Kingdom;
University of Groningen, Netherlands;
multiagent systems; epistemic logic; dynamic epistemic logic; belief revision;
机译:认知逻辑:知识逻辑概述
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:动态认知逻辑和知识谜题
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:动态认知逻辑与知识难题
机译:知识与信仰的弱逻辑:雅皮一代的认识与逻辑逻辑。