Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/17298
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-12-04T10:00:50Z | - |
| dc.date.available | 2025-12-04T10:00:50Z | - |
| dc.date.issued | 2025 | - |
| dc.identifier.citation | Khan, M. A., & Ranjan. (2025). A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure. ACM Transactions on Computational Logic, 26(4). https://doi.org/10.1145/3750045 | en_US |
| dc.identifier.issn | 1529-3785 | - |
| dc.identifier.issn | 1557-945X | - |
| dc.identifier.other | EID(2-s2.0-105022491431) | - |
| dc.identifier.uri | https://dx.doi.org/10.1145/3750045 | - |
| dc.identifier.uri | https://dspace.iiti.ac.in:8080/jspui/handle/123456789/17298 | - |
| dc.description.abstract | Motivated by rough set theory, we introduce a novel semantics for the basic modal language based on the possibility lower approximation operator of subset approximation structures. The study investigates axiomatization, expressiveness, and invariance results related to this semantics. From a rough set perspective, it provides a formal language for reasoning about the possibility lower approximation operator. Additionally, the axiomatization results obtained here provide characterizing properties of the operator. © 2025 Copyright held by the owner/author(s). | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Association for Computing Machinery | en_US |
| dc.source | ACM Transactions on Computational Logic | en_US |
| dc.subject | approximation operator | en_US |
| dc.subject | axiomatization | en_US |
| dc.subject | invariance | en_US |
| dc.subject | modal logic | en_US |
| dc.subject | rough set theory | en_US |
| dc.title | A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure | 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: