Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
其次为PBL建立了一种正规概率模态语义,这是一种适于刻画概率模态逻辑的语义模型。
Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.
其次为PBL建立了一种正规概率模态语义,这是一种适于刻画概率模态逻辑的语义模型。
应用推荐