City University of New York;
Uppsala University;
University of Manchester;
Modal logic; multi-agents; epistemic logic; completeness; tableaux;
机译:古典术语模态逻辑
机译:一阶认知规划的动态术语 - 模态逻辑
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:认知社会网络动力学的动态术语模态逻辑
机译:双互锁逻辑:针对单事件逻辑错误的辐射加固设计技术
机译:微流体逻辑门:压力驱动的两输入3D微流体逻辑门(Adv。Sci。2/2020)
机译:一阶认知规划的动态术语 - 模态逻辑