机译:直觉认识论逻辑,克里普克模型和惠誉悖论
Department of Philosophy, Lund University, Kungshuset, 22222, Lund, Sweden;
Intuitionistic logic; Epistemic logic; Fitch’s paradox; Kripke models;
机译:认知逻辑与认知博弈论相遇:多智能体Kripke模型与类型空间之间的比较
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:认知逻辑的广义Kripke模型
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:认知逻辑与认知博弈论相遇:多智能体Kripke模型与类型空间之间的比较
机译:从索引的Lax逻辑到直觉逻辑