Quantitative Method for Multi-Value Modal Logics
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    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.

    Reference
    Related
    Cited by
Get Citation

时慧娴,王国俊.多值模态逻辑的计量化方法.软件学报,2012,23(12):3074-3087

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:January 05,2011
  • Revised:April 01,2012
  • Adopted:
  • Online: December 05,2012
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063