Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification | UPT Perpustakaan UHAMKA