机译:关系改变逻辑的可满足性
Univ Nacl Cordoba Cordoba Argentina|Consejo Nacl Invest Cient & Tecn CONICET Buenos Aires DF Argentina;
Univ Bremen Fachbereich Math & Informat Bremen Germany;
modal logic; dynamic logics; satisfiability; undecidability;
机译:基本模态逻辑中的可满足性与有限可满足性
机译:答案集编程中的模态逻辑S5可靠性
机译:模态包含逻辑的可满足性:宽松和严格的语义
机译:COQ中关系改变逻辑的机械化双刺激定理
机译:使用布尔可满足性进行逻辑综合和验证的算法和数据结构。
机译:独特地满足
机译:关系改变逻辑作为混合逻辑的碎片
机译:基于可满足模理论方法的模糊逻辑控制器稳定性分析。