机译:直觉多功能亚非原子学自然扣除信念和知识
Goethe Univ Frankfurt Am Main Inst Philosophie Norbert Wollheim Pl 1 D-60629 Frankfurt Germany;
belief/knowledge; epistemic logic; intentional identity; intuitionistic logic; multi-agent reasoning; natural deduction; proof-theoretic semantics;
机译:具有非原始身份的自然主义一阶语言的亚原子自然演绎
机译:完善亚原子自然演绎
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:通过自然推导规则在命题逻辑中的应用来识别知识
机译:自然语言解释的自然演绎证明。
机译:模糊和不确定信念的多主体共识模型
机译:标准多智能体信念的参数化构造Kripke-semantics 和知识(知识作为无偏见的信念)
机译:基于网络的知识表示及其自然演绎系统。