認知邏輯

認知邏輯（epistemic logic）是2018年全國科學技術名詞審定委員會公佈的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。