机译:权变逻辑中的命题量化
LORIA, CNRS, University of Lorraine, France;
College of Philosophy, Beijing Normal University, China;
Contingency logic; announcement whether; arbitrary announcement; axiomatisation; completeness; expressivity;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:带有命题量词,量词消除和均匀克雷格插值的Δ核心模糊逻辑
机译:带命题量词,量词消除和均匀克雷格插值的Δ核心模糊逻辑
机译:隐式模态量化的命题模态逻辑
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:具有命题量词的颞型模态逻辑的道德法和良好