computability; formal logic; temporal logic; computational complexity; digraph property; KERNEL; monadic existential second order logic; frame satisfiability; propositional modal logic; temporal logics; computational complexity;
机译:0-1定律对于无向图上的单子存在二阶逻辑失败
机译:基本模态逻辑中的可满足性与有限可满足性
机译:命题模态K_(m)可满足性的优化决策程序评估
机译:0-1定律失败了命题模态逻辑的帧质可靠性
机译:模特量化和模态逻辑的比较
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:模态命题逻辑的模态Horn子句可满足性的计算复杂性