A study of modal logic with semantics based on rough set theory | Synapse