Agents as proof- and signature-checkers; Constructive Kripke-semantics; Interpreted communication; Multi-agent distributed systems; Interactive and oracle computation; Proofs as sufficient evidence;
机译:一阶谓词逻辑,模糊逻辑和非单调逻辑作为知识表示方法的比较
机译:直觉互动证明的逻辑(完美知识转移的形式理论)
机译:否定完全互动证明的逻辑(认知决定论的形式理论)
机译:非单调交互证明的逻辑
机译:验证证明检查高阶逻辑
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:非单调交互式证明的逻辑(临时性的形式理论) 知识传输)