自體物語邏輯

自體物語邏輯是一種用于表示和推理關于知識的知識的形式邏輯。命題邏輯只能表達事實，而自態邏輯可以表達關于事實的知識和缺乏知識。穩定模型語義學被用來為邏輯編程提供語義學，將否定作為失敗，可以被看作是自體邏輯的簡化形式。

自組織邏輯的句法通過一個模態操作符擴展了命題邏輯的句法表示?F是已知的，而??F如果不知道它是真的，就假定它是假的。這是作為失敗的否定的一種形式。

自體表征邏輯的語義是基于理論的擴展，其作用類似于命題邏輯中的模型。命題模型指定哪些公理是真的或假的，而擴展則指定哪些公式是真的或假的。是真的，哪些是假的。特別是，一個自動表征公式的擴展是中，這個條件可以用命題微積分的規則來完成。為了使初始假設成為擴展，它必須是一個子公式是真的。因此，自體邏輯擴展了S5；這個擴展是恰當的，因為.因此，只有兩個候選擴展，分別假設它為真或假。

對它們是實際擴展的檢查如下。并不是必然的。換句話說，這是一個自我支持的假設。一個允許這樣的信念自我支持的邏輯被稱為非強基礎的邏輯，以區別于強基礎的邏輯，在后者中，自我支持是不可能的。強基礎的自體論邏輯的變種是存在的。

在不確定推理中，真值的已知/未知二元性被事實或推理的確定程度所取代；確定程度可以從0到1不等。