机译:限制性语言有限kripke帧的一阶模态逻辑的算法属性
Natl Res Univ Higher Sch Econ Russian Acad Sci Inst Informat Transmiss Problems Moscow 127051 Russia|Natl Res Univ Higher Sch Econ Russian Acad Sci Inst Informat Transmiss Problems Moscow 101000 Russia|Tver State Univ Tver 170100 Russia;
Univ Witwatersrand Sch Comp Sci & Appl Math ZA-2050 Johannesburg Wits South Africa;
First-order modal logic; predicate modal logic; finite Kripke frames; restricted languages; undecidability; recursive enumerability;
机译:限制语言中线性Kripke帧的一阶模态逻辑的算法属性
机译:限制性语言有限kripke帧的一阶超级监测逻辑的算法属性
机译:限制性语言中有限kripke帧的一阶超级监测逻辑的算法属性
机译:使用一流的未定义帧来结合统一和重写模块逻辑证明
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:使用受限制的Boltzmann机器静止图像中的多模态深手手语识别
机译:限制性语言中线性Kripke帧的一阶模态逻辑的算法属性