软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
12期
3074-3087
,共14页
多值模态逻辑%<W,R>n-型框架%n-值模态模型%局部化真度%全局真度%时态逻辑
多值模態邏輯%<W,R>n-型框架%n-值模態模型%跼部化真度%全跼真度%時態邏輯
다치모태라집%<W,R>n-형광가%n-치모태모형%국부화진도%전국진도%시태라집
在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了<W,R>n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不合模态词时,其全局真度与其在一般命题逻辑中的真度一致.
在多值模態邏輯中構建瞭n-值模態模型及相應的語義理論,併指齣這種語義是經典模態邏輯語義的推廣.定義瞭<W,R>n-型框架的概唸,併在該框架下用歸納的方法構建瞭由模態公式誘導的跼部化映射,給齣公式的跼部化真度的概唸,併指齣任意模態公式的跼部化真度都可以轉化為另一箇不含模態詞的公式在同一可能世界處的跼部化真度.定義瞭模態公式的全跼真度,併證明瞭噹某模態公式不閤模態詞時,其全跼真度與其在一般命題邏輯中的真度一緻.
재다치모태라집중구건료n-치모태모형급상응적어의이론,병지출저충어의시경전모태라집어의적추엄.정의료<W,R>n-형광가적개념,병재해광가하용귀납적방법구건료유모태공식유도적국부화영사,급출공식적국부화진도적개념,병지출임의모태공식적국부화진도도가이전화위령일개불함모태사적공식재동일가능세계처적국부화진도.정의료모태공식적전국진도,병증명료당모모태공식불합모태사시,기전국진도여기재일반명제라집중적진도일치.
