Dynamic epistemic logic; Distributed computing; Equality negation;
机译:平等否定和其他认知涵盖任务的动态认知逻辑分析
机译:关于认识逻辑程序中的认识论否定和世界观
机译:否定完全互动证明的逻辑(认知决定论的形式理论)
机译:平等否定任务的动态认知逻辑分析
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:关于认知否定和在认知逻辑计划中的世界观
机译:用动态认知逻辑分析耶鲁射击问题