Construction of an Explicit Basis for Rules Admissible in Modal System S4