自体物语逻辑

自体物语逻辑是一种用于表示和推理关于知识的知识的形式逻辑。命题逻辑只能表达事实，而自态逻辑可以表达关于事实的知识和缺乏知识。稳定模型语义学被用来为逻辑编程提供语义学，将否定作为失败，可以被看作是自体逻辑的简化形式。

自组织逻辑的句法通过一个模态操作符扩展了命题逻辑的句法表示¬F是已知的，而¬◻F如果不知道它是真的，就假定它是假的。这是作为失败的否定的一种形式。

自体表征逻辑的语义是基于理论的扩展，其作用类似于命题逻辑中的模型。命题模型指定哪些公理是真的或假的，而扩展则指定哪些公式是真的或假的。是真的，哪些是假的。特别是，一个自动表征公式的扩展是中，这个条件可以用命题微积分的规则来完成。为了使初始假设成为扩展，它必须是一个子公式是真的。因此，自体逻辑扩展了S5；这个扩展是恰当的，因为.因此，只有两个候选扩展，分别假设它为真或假。

对它们是实际扩展的检查如下。并不是必然的。换句话说，这是一个自我支持的假设。一个允许这样的信念自我支持的逻辑被称为非强基础的逻辑，以区别于强基础的逻辑，在后者中，自我支持是不可能的。强基础的自体论逻辑的变种是存在的。

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