 So far we’ve used just one formal tool, probability theory. We can get many similar results in the above applications using other tools, like  Dempster-Shafer theory  or  ranking theory.  But let’s move to a new application, and a new tool. Let’s use modal logic to explore the limits of knowledge.