Modal systems for covering semantics and boundary operator

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 l...

Full description

Saved in:
Bibliographic Details
Published in:International journal of approximate reasoning 2021-08, Vol.135, p.110-126
Main Authors: Patel, Vineeta Singh, Khan, Md. Aquil, Chakraborty, Mihir Kumar
Format: Article
Language:English
Subjects:
Approximation space
Contingency modal operator
Covering
Modal logic
Rough set
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0888-613X
1873-4731
DOI:10.1016/j.ijar.2021.05.004