Terminating sequent calculi for proving and refuting formulas in S4 | UPT Perpustakaan UHAMKA