{"title":"由模糊测度定义的梯度模态算子的逻辑基础","authors":"T. Murai, M. Miyakoshi, M. Shimbo","doi":"10.1109/FUZZY.1995.409674","DOIUrl":null,"url":null,"abstract":"To give rigid semantics to graded modal operators, an extended fuzzy-measure-based model is defined as a family of minimal models for modal logic, each of which corresponds to an intermediate value of a fuzzy measure. Soundness and completeness results of several systems of modal logic are proved with respect to classes of newly introduced models based on intermediate values of fuzzy, possibility, necessity, and Dirac measures, respectively. It is emphasized that a fuzzy measure inherently contains a multimodal logical structure.<<ETX>>","PeriodicalId":150477,"journal":{"name":"Proceedings of 1995 IEEE International Conference on Fuzzy Systems.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"A logical foundation of graded modal operators defined by fuzzy measures\",\"authors\":\"T. Murai, M. Miyakoshi, M. Shimbo\",\"doi\":\"10.1109/FUZZY.1995.409674\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"To give rigid semantics to graded modal operators, an extended fuzzy-measure-based model is defined as a family of minimal models for modal logic, each of which corresponds to an intermediate value of a fuzzy measure. Soundness and completeness results of several systems of modal logic are proved with respect to classes of newly introduced models based on intermediate values of fuzzy, possibility, necessity, and Dirac measures, respectively. It is emphasized that a fuzzy measure inherently contains a multimodal logical structure.<<ETX>>\",\"PeriodicalId\":150477,\"journal\":{\"name\":\"Proceedings of 1995 IEEE International Conference on Fuzzy Systems.\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-03-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1995 IEEE International Conference on Fuzzy Systems.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FUZZY.1995.409674\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1995 IEEE International Conference on Fuzzy Systems.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FUZZY.1995.409674","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A logical foundation of graded modal operators defined by fuzzy measures
To give rigid semantics to graded modal operators, an extended fuzzy-measure-based model is defined as a family of minimal models for modal logic, each of which corresponds to an intermediate value of a fuzzy measure. Soundness and completeness results of several systems of modal logic are proved with respect to classes of newly introduced models based on intermediate values of fuzzy, possibility, necessity, and Dirac measures, respectively. It is emphasized that a fuzzy measure inherently contains a multimodal logical structure.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
