机译:作为机构的多排序一阶成分-主格逻辑
Taras Shevchenko National University of Kyiv 01601, Kyiv, Volodymyrska st, 60;
Institution theory; many-sorted nominative data; irrefutability;
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:将TLA〜+编码为未分类和多种分类的一阶逻辑
机译:构成 - 提名逻辑作为机构
机译:将TLA〜+编码为多排序一阶逻辑
机译:各种各样的自由逻辑。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:一阶组成 - 具有较弱平等和平等的谓词的提名逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑