基于广义粗糙集模型的基本模态语言语义

IF 6.8 1区计算机科学 0 COMPUTER SCIENCE, INFORMATION SYSTEMS Information Sciences Pub Date : 2025-05-01 Epub Date: 2025-01-07 DOI:10.1016/j.ins.2024.121838

Md. Aquil Khan, Ranjan

{"title":"基于广义粗糙集模型的基本模态语言语义","authors":"Md. Aquil Khan, Ranjan","doi":"10.1016/j.ins.2024.121838","DOIUrl":null,"url":null,"abstract":"<div><div>The necessity lower approximation operator defined on subset approximation structures is studied in this paper. We propose a semantics of the basic modal language based on this operator, offering a formal framework for analysis. The study focuses on the axiomatization, expressiveness, and invariance properties of the proposed semantics. Our findings contribute to a comprehensive understanding of the necessity lower approximation operator, shedding light on its properties.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"701 ","pages":"Article 121838"},"PeriodicalIF":6.8000,"publicationDate":"2025-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A semantics of the basic modal language based on a generalized rough set model\",\"authors\":\"Md. Aquil Khan, Ranjan\",\"doi\":\"10.1016/j.ins.2024.121838\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>The necessity lower approximation operator defined on subset approximation structures is studied in this paper. We propose a semantics of the basic modal language based on this operator, offering a formal framework for analysis. The study focuses on the axiomatization, expressiveness, and invariance properties of the proposed semantics. Our findings contribute to a comprehensive understanding of the necessity lower approximation operator, shedding light on its properties.</div></div>\",\"PeriodicalId\":51063,\"journal\":{\"name\":\"Information Sciences\",\"volume\":\"701 \",\"pages\":\"Article 121838\"},\"PeriodicalIF\":6.8000,\"publicationDate\":\"2025-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information Sciences\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0020025524017523\",\"RegionNum\":1,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2025/1/7 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"0\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0020025524017523","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/1/7 0:00:00","PubModel":"Epub","JCR":"0","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

研究了在子集逼近结构上定义下逼近算子的必要性。在此基础上提出了基本模态语言的语义，为分析提供了形式化框架。研究的重点是所提出的语义的公理化、表达性和不变性。我们的发现有助于全面理解下近似算子的必要性，揭示其性质。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A semantics of the basic modal language based on a generalized rough set model

The necessity lower approximation operator defined on subset approximation structures is studied in this paper. We propose a semantics of the basic modal language based on this operator, offering a formal framework for analysis. The study focuses on the axiomatization, expressiveness, and invariance properties of the proposed semantics. Our findings contribute to a comprehensive understanding of the necessity lower approximation operator, shedding light on its properties.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Information Sciences 工程技术-计算机：信息系统

CiteScore

14.00

自引率

17.30%

发文量

1322

审稿时长

10.4 months

期刊介绍： Informatics and Computer Science Intelligent Systems Applications is an esteemed international journal that focuses on publishing original and creative research findings in the field of information sciences. We also feature a limited number of timely tutorial and surveying contributions. Our journal aims to cater to a diverse audience, including researchers, developers, managers, strategic planners, graduate students, and anyone interested in staying up-to-date with cutting-edge research in information science, knowledge engineering, and intelligent systems. While readers are expected to share a common interest in information science, they come from varying backgrounds such as engineering, mathematics, statistics, physics, computer science, cell biology, molecular biology, management science, cognitive science, neurobiology, behavioral sciences, and biochemistry.