The expressivity of update logics | UPT Perpustakaan UHAMKA