Arithmetic; Modal logic; Provability logic; Internal models;
机译:“弱算法和Kripke模型”的更正
机译:回答《地平线》文章“在沙子上建造的城堡:浮游生物模型的功能失调以及生物学家和建模者之间的对话不充分”,Flynn(2005)。建立在灰色生物沙滩上的闪亮数学城堡
机译:本地化有限深度的Kripke模型
机译:Kripke模型由算术模型构建
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:用于数字算术电路实现的简单皮质和丘脑神经元模型
机译:弱算术和Kripke模型
机译:Hehyting算法的Kripke模型的结构