.png){kind=icon}
.png){kind=icon}
Return
A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure
.png){kind=icon}
PRE
AI
DOI：10.1145/3750045.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
rough set theory
approximation operator
modal logic
axiomatization
invariance
Journal
A
IF:
0
Papers:
18
Citations:
0