%0 Journal Article
%T 多值模态逻辑的计量化方法
%A 时慧娴？
%A 王国俊？
%J 软件学报
%P 3074-3087
%D 2012
%R 10.3724/SP.J.1001.2012.04212
%X 在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了〈w,r〉n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.
%K 多值模态逻辑
%K 〈w
%K r〉n-型框架
%K n-值模态模型
%K 局部化真度
%K 全局真度
%K 时态逻辑
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4212&flag=1