Third, the dissertation investigates modal logic under set-theoretic semantics.
第三,在集合论语义下重新研究模态逻辑。
参考来源 - 非良基集与模态逻辑Some AI researchers introduce multiple modal operators to modal logic according to multiple mental states of Agent.
有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。
参考来源 - 纤维逻辑 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
N the logical study of such philosophical concepts as necessity, possibility, contingency, etc 模态逻辑
应用推荐