Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/15549
| Title: | A semantics of the basic modal language based on a generalized rough set model |
| Authors: | Khan, Md. Aquil Ranjan |
| Keywords: | Approximation operator;Axiomatization;Bisimulation;Definability;Invariance;Modal logic;Reasoning;Rough set theory |
| Issue Date: | 2025 |
| Publisher: | Elsevier Inc. |
| Citation: | Khan, M. A. (2025). A semantics of the basic modal language based on a generalized rough set model. Information Sciences. Scopus. https://doi.org/10.1016/j.ins.2024.121838 |
| 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. © 2025 Elsevier Inc. |
| URI: | https://doi.org/10.1016/j.ins.2024.121838 https://dspace.iiti.ac.in/handle/123456789/15549 |
| ISSN: | 0020-0255 |
| Type of Material: | Journal Article |
| Appears in Collections: | Department of Mathematics |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: