自体物语逻辑-一流百科

自体物语逻辑

自体物语逻辑自体物语逻辑是一种用于表示和推理关于知识的知识的形式逻辑。命题逻辑只能表达事实，而自态逻辑可以表达关于事实的知识和缺乏知识。稳定模型语...