Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/15549
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Khan, Md. Aquil | en_US |
dc.contributor.author | Ranjan | en_US |
dc.date.accessioned | 2025-01-20T15:03:48Z | - |
dc.date.available | 2025-01-20T15:03:48Z | - |
dc.date.issued | 2025 | - |
dc.identifier.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 | en_US |
dc.identifier.issn | 0020-0255 | - |
dc.identifier.other | EID(2-s2.0-85214585238) | - |
dc.identifier.uri | https://doi.org/10.1016/j.ins.2024.121838 | - |
dc.identifier.uri | https://dspace.iiti.ac.in/handle/123456789/15549 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Elsevier Inc. | en_US |
dc.source | Information Sciences | en_US |
dc.subject | Approximation operator | en_US |
dc.subject | Axiomatization | en_US |
dc.subject | Bisimulation | en_US |
dc.subject | Definability | en_US |
dc.subject | Invariance | en_US |
dc.subject | Modal logic | en_US |
dc.subject | Reasoning | en_US |
dc.subject | Rough set theory | en_US |
dc.title | A semantics of the basic modal language based on a generalized rough set model | en_US |
dc.type | Journal Article | en_US |
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: