机译:具有传递关系的二元逻辑片段的可满足性问题
Univ Opole Inst Comp Sci Oleska 48 PL-45052 Opole Poland;
Two-variable first-order logic; decidability; satisfiability problem; transitivity; computational complexity;
机译:具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
机译:两个可变逻辑,其中一些关系之间:表达,可靠性和会员资格
机译:具有传递闭包的二变量通用逻辑
机译:具有传递关系的二元保护片段
机译:路径功能依赖性和带计数的两个变量保护片段
机译:鸽子中的传递和反传递紧急关系:刺激类形成理论的支持
机译:有限可靠性对具有一个传递关系的双变量的一阶逻辑是可解除的
机译:传递约束的布尔可满足性