机译:排序逻辑中的存在刚性和多种形式
Department of Electrical Engineering and Computer Science, lwate University, 4-3-5 Ueda, Morioka, Iwate 020-8551, Japan;
conceptual modeling; order-sorted logic; logical reasoning; formal ontology; modal logic;
机译:具有量化可及性关系的现有二阶逻辑和模态逻辑
机译:“我未来的儿子可能活着”。 Abelard模态逻辑中存在的预设和空项
机译:谓词层次结构的顺序排序逻辑编程
机译:元本体的顺序排序量化模态逻辑
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:多模式磁共振弹性成像技术在体内对卵巢组织硬度的无创评估
机译:顺序逻辑中的存在刚性和许多模态