Hierarchies in independence and inclusion logic with strict semantics | UPT Perpustakaan UHAMKA