City University of New York.;
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:动态认知逻辑,动态Doxastic Logics kripke系统的视角调查
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:认识论辩护的防御激活理论。
机译:用动态认知逻辑分析耶鲁射击问题