【摘要】：本文提出了信念邏輯RB,其特點(diǎn)是將關(guān)系信念,將信念看作是引用的公式和信念背景。其主要謂詞是三元組:B≤xyb,讀作:"在背景下,最多與同樣可信。"背景在語(yǔ)義及認(rèn)知語(yǔ)用目的上起作用。RB的表達(dá)力足以表達(dá)對(duì)角線引理。因此,RB也許被認(rèn)為是不一致的,如共同認(rèn)知邏輯。但是,從RB的公理中并不能推出矛盾。事實(shí)上,可以找到RB合理有趣的模型。
[Abstract]:This paper presents the belief logic RBB, which is characterized by the relation belief, the belief is regarded as the formula and the belief background. Its main predicate is triple B 鈮，

本文編號(hào)：2165155