...
机译:模态逻辑S4的无环演算。 II
loop-free calculus; modal logic; sequent calculus;
机译:模态逻辑S4的无环演算。 II
机译:模态命题逻辑K4,S4和S5的无环决策过程
机译:模态Heyting演算:直觉逻辑的保守模态扩展
机译:不诚实的多模态逻辑的Tableau微积分
机译:将模态微积分添加到指令集过程微积分。
机译:使用绑定到核糖体蛋白S4的Fe(II)进行16S rRNA的直接羟基自由基探测。
机译:用于模态逻辑K4的无环路序列