机译:自然数的度量命题邻域逻辑
University of Verona, Verona, Italy;
University of Udine, Udine, Italy;
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria;
University of Udine, Udine, Italy;
University of Information Science and Technology, Ohrid, Macedonia;
Metric temporal logic; Interval logic; Decidability; Complexity; Expressiveness;
机译:等价关系的度量命题邻域逻辑
机译:具有间隔长度绑定器的混合度量命题邻域逻辑
机译:通过自然数命题邻域逻辑的扩展跨越不确定性边界
机译:具有等价关系的度量命题邻域逻辑
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:等价关系的度量命题邻域逻辑