One very cool thing I learned today is that knowledge amongst a number of people, with the help of modal logic and Kripke possible world semantics, essentially reduces to a graph reachability problem.