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

IF 8.1 1区计算机科学 0 COMPUTER SCIENCE, INFORMATION SYSTEMS

Information Sciences Pub Date : 2025-01-07 DOI:10.1016/j.ins.2024.121838

Md. Aquil Khan, Ranjan

引用次数: 0

Abstract

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.

查看原文本刊更多论文

求助全文

约1分钟内获得全文求助全文

来源期刊

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.