Games models; Effectivity; Strategic logic;
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:从Kripke Systems的角度来看动态认知逻辑和动态Doxastic逻辑调查
机译:通过认知模态逻辑进行系统工程知识的正式推理
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:认知模态逻辑和伦理学中的逻辑平方和六边形
机译:知识与信仰的弱逻辑:雅皮一代的认识与逻辑逻辑。