Logics for some dynamic spaces-I | UPT Perpustakaan UHAMKA