机译:S4中“足够确定性”的语义学和Fitting在经典逻辑中的嵌入
机译:S4模态逻辑的经典自然演绎
机译:自然演绎中的新S4经典模态逻辑
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:S4模态逻辑的经典自然演绎
机译:免剪裁的Gentzen风格的系统,用于S4和中间逻辑的某些常规扩展
机译:用于调解分析的经典回归框架:拟合一个模型以估计调解效果
机译:“足够确定性”的语义和拟合经典逻辑在s4中的嵌入
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义