Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6858930 | International Journal of Approximate Reasoning | 2016 | 11 Pages |
Abstract
Two conjectures on the covering-based rough set semantics for modal logics in [35] are answered. The C2 and C5 semantics give rise to the same modal system S4. There are Galois connections between C2 and C5 which lead to the covering-based semantics for the temporal logic system S4t. The P1 and C4 semantics give rise to the same modal system KTB.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Minghui Ma, Mihir Kumar Chakraborty,