On the existence of a modal-logical basis for monadic second-order logic | UPT Perpustakaan UHAMKA