主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
时慧娴,王国俊.多值模态逻辑的计量化方法.软件学报,2012,23(12):3074-3087
多值模态逻辑的计量化方法
Quantitative Method for Multi-Value Modal Logics
投稿时间:2011-01-05  修订日期:2012-04-01
DOI:10.3724/SP.J.1001.2012.04212
中文关键词:  多值模态逻辑  W,Rn-型框架  n-值模态模型  局部化真度  全局真度  时态逻辑
英文关键词:multi-value modal logic  W,Rn-typed frame  n-valued modal model  localized truth degree  global truth degree  temporal logic
基金项目:国家自然科学基金(11171200, 61005046, 61103133); 中央高校基本科研业务费专项资金(GK201004006)
作者单位E-mail
时慧娴 陕西师范大学 数学与信息科学学院,陕西 西安 710062 rubyshi@163.com 
王国俊 陕西师范大学 数学与信息科学学院,陕西 西安 710062  
摘要点击次数: 2472
全文下载次数: 2736
中文摘要:
      在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了〈W,Rn-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.
英文摘要:
      The concept of n-valued modal model for multi-value modal logics is introduced in this paper, and the corresponding semantics are constructed. The study points out this kind of semantics and generalizes the semantics for classical modal logics. The definition of 〈W,Rn-typed frame is presented, under which the localized mappings induced by modal formulae are constructed, and the concept of localized truth degree for modal formulae is introduced. It is obtained that the localized truth degree for any modal formula can be computed as the one for some modal formula without modalities in the same possible world. Based on these, the concept of global truth degree for modal formulae is introduced. It has been shown that whenever a modal formula contains no modalities, its global truth degree coincides with its truth degree in the common propositional logics.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利