机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
V.A. Steklov Mathematical Institute, Gubkina 8, 119991 Moscow, Russia;
provability logic; logic of proofs; kripke semantics; decidability;
机译:Goedel-Loeb可证明性逻辑的循环证明
机译:命题Goedel逻辑的完整性和可割性的简单证明
机译:真实算术逻辑逻辑证明理论
机译:结合证明搜索和反模型构造来确定Goedel-Dummett逻辑
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:论克里德式语义学与证明量词的哥德尔证明谓词的可证明逻辑