机译:谓词模态逻辑中的递归可枚举性和基本框架可定义性
Russian Acad Sci Inst Informat Transmiss Problems Moscow Russia|Higher Sch Econ Moscow Russia;
Univ Witwatersrand Sch Comp Sci & Appl Math Johannesburg South Africa;
机译:谓词模态逻辑中的递归可枚举性和基本框架可定义性
机译:有限Kripke框架的超直觉谓词逻辑不可递归公理化
机译:布尔函数的术语可定义类和模态逻辑中的框架可定义性
机译:模态谓词逻辑I的语义。对手框架
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:通过在枚举过程中包括转录监管规则来避免枚举不可行的基本通量模式可以节省计算成本
机译:一流的克莱波克框架非正常和准正常模态谓词逻辑的公理性
机译:一阶谓词逻辑模型理论及相关时态逻辑