A rough set theoretical and logical study: consistency of knowledge covering based approach and allied topics