Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/6542
| Title: | Modal systems for covering semantics and boundary operator |
| Authors: | Patel, Vineeta Singh Khan, Md. Aquil |
| Keywords: | Semantics;Approximation spaces;Boundary operators;Modal logic;Modal operators;Modal systems;Set semantics;Rough set theory |
| Issue Date: | 2021 |
| Publisher: | Elsevier Inc. |
| Citation: | Patel, V. S., Khan, M. A., & Chakraborty, M. K. (2021). Modal systems for covering semantics and boundary operator. International Journal of Approximate Reasoning, 135, 110-126. doi:10.1016/j.ijar.2021.05.004 |
| Abstract: | Towards the study of covering based rough set semantics for modal logic [39], we present a modal system corresponding to the covering systems P3,C1, and CGr. We also study the modal systems for boundary operators based on generalized approximation spaces as well as covering systems. Our study also leads to covering semantics for some contingency logics and provide its connection with rough set theory. Further, an alternative modal system based on the contingency modal operator is provided corresponding to the covering system P4. © 2021 Elsevier Inc. |
| URI: | https://doi.org/10.1016/j.ijar.2021.05.004 https://dspace.iiti.ac.in/handle/123456789/6542 |
| ISSN: | 0888-613X |
| 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: