机译:命题典型逻辑的合理蕴涵
Cardiff Univ Cardiff S Glam Wales;
Univ Luxembourg CSC Luxembourg Luxembourg;
Univ Cape Town Rondebosch South Africa|CAIR Rondebosch South Africa;
Univ Artois CRIL Arras France|CNRS Paris France;
Knowledge representation and reasoning; Non-monotonic reasoning; Preferential semantics; Typicality; Rationality;
机译:模态和命题相依逻辑的有效性和必然性
机译:模态和命题相依逻辑的有效性和必然性
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:在经典命题逻辑中减少逻辑程序的强烈对等
机译:蕴涵,蕴含和替代逻辑。
机译:拟度量空间和度量空间中的近似蕴涵逻辑
机译:命题多值逻辑蕴含的复杂性