...
机译:一阶模态逻辑的捆绑片段:(Un)可判定性
First-order modal logicdecidabilitybundled fragments;
机译:一阶模态逻辑的可确定片段
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:叠加决定地面理论上的一阶逻辑片段
机译:用于决定描述逻辑,模态逻辑和相关的一阶片段的一般Tableau方法
机译:一阶逻辑及其扩展表明的问题的细粒度复杂性
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:一阶模态逻辑的可确定片段
机译:一阶谓词逻辑模型理论及相关时态逻辑