Suppose \(\M=\plausmodel\) is an epistemic-plausibility model, consider the following operators (formally, each is a function from \(\pow(W)\) to \(\pow(W)\) similar to the knowledge operator defined above):