机译:Goedel-Loeb可证明性逻辑的循环证明
Steklov Mathematical Institute, Russian Academy of Sciences, Moscow, Russia National Research University Higher School of Economics, Moscow, Russia;
provability logic; sequent calculus; circular proof; the Goedel-Loeb logic; the Lyndon interpolation property; split sequent;
机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
机译:真实算术逻辑逻辑证明理论
机译:显式和隐式证明的模态可证明性逻辑
机译:Goedel-Loeb可证明性逻辑的全球邻里完整性
机译:单子直觉和模态逻辑承认可证明性
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:论克里德式语义学与证明量词的哥德尔证明谓词的可证明逻辑
机译:显式可证性:直觉和模态逻辑的预期语义