Covering-based rough sets and modal logics. Part I

摘要

Two conjectures on the covering-based rough set semantics for modal logics in [35] are answered. The C-2 and C-5 semantics give rise to the same modal system S4. There are Galois connections between C-2 and C-5 which lead to the covering-based semantics for the temporal logic system S4t. The P-1 and C-4 semantics give rise to the same modal system KTB. (C) 2016 Elsevier Inc. All rights reserved.