Logics for some dynamic spaces-II | UPT Perpustakaan UHAMKA