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