propositional modal logic; propositional logic; disjunctive normal form; pseudo-atomic formula; pseudo-atom-complete; completeness.;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:aristotelian逻辑公理在命题逻辑中:袋法
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:主命令模态逻辑与Axiom□的对应关系□还是当和命题逻辑
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:$ varepsilon $ -calcululululululululululums for Some命令模态逻辑。