Dept. of Information Engineering and Communications, Faculty of Informatics, University of Murcia 30100, Espinardo (Murcia), Spain;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:命题区间邻域时间逻辑
机译:使用时间逻辑进行空间推理:临时定位邻域逻辑
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:Covid-19流行病的控制策略抗疫苗盾牌免疫检疫:公制时间逻辑方法
机译:一种新的空间推理模态逻辑:空间命题邻域逻辑
机译:命题时态逻辑的证明编辑器