局部化真度相关硕士博士期刊学术论文 - 信丰网

局部化真度相关论文

模态逻辑的计量化研究及其在模型检验中的应用

本文的目的在于建立模态逻辑的计量化理论,并将其基本方法用于解决模型检验的计量化问题以及简化模型检验的过程.计量逻辑学的提出......

学位

计量逻辑学模态逻辑时态逻辑模型检验迁移系统局部化真度全局真度满足度极大缩减

多值模态逻辑的计量化方法

在多值模态逻辑中构建了”．值模态模型及相应的语义理论，并指出这种语义是经典模态逻辑语义的推广．定义了（W,R）n-型框架的概念，并在该框......

期刊

多值模态逻辑 W Rn-型框架 n-值模态模型局部化真度全局真度时态逻辑

看过本文同时还关注