机译:终止两个直觉模态逻辑的后续计算
Univ Utrecht Janskerkhof 13 NL-3512 BL Utrecht Netherlands;
intuitionistic modal logic; sequent calculus; termination;
机译:直觉模态逻辑的树后计算和决策程序
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:直觉逻辑的无收缩序列结石:校正
机译:从显示演算到深度嵌套继发演算:完全直觉线性逻辑的形式化
机译:模态和直觉性命题的片段。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:双重直觉逻辑与纳尔逊建构逻辑之间的关系(后续计算和证明理论)
机译:正态模态命题逻辑的后续计算