Reduction of provability logics to Σ1-provability logics | UPT Perpustakaan UHAMKA