机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
Bi-intuitionistic logicInterpolationNested calculiProof theorySequentsTense logics;
机译:通过注射嵌套顺序的中间逻辑插值
机译:时态逻辑的嵌套顺序计算中的显示假设与深度推断之间的对应关系
机译:从2个顺序和线性嵌套的顺序到普通模态逻辑的自然扣除
机译:通过线性嵌套后继序列进行时态逻辑的句法消除和向后证明搜索
机译:逻辑张量及其在逻辑修改中的应用
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:论显示假设与深度推理的对应关系 用于时态逻辑的嵌套后续计算