一个关系信念逻辑
A Relational Doxastic Logic

本文提出了信念逻辑RB，其特点是将关系信念，将信念看作是引用的公式和信念背景。其主要谓词是三元组：Bxyb，读作：“在背景b 下，x 最多与y 同样可信。”背景在语义及认知语用目的上起作用。RB 的表达力足以表达对角线引理。因此，RB 也许被认为是不一致的，如共同认知逻辑。但是，从RB 的公理中并不能推出矛盾。事实上，可以找到RB 合理有趣的模型。