A gas explosion at a coal mine in Quettas Sanjdi area has resulted in the deaths of four miners, with efforts still underway to rescue eight trapped inside, ARY News reported on Friday.