Hacker Newsnew | comments | ask | jobs | submit login

1 point by sid0 174 days ago | link | parent 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.

Lists | RSS | Search | Bookmarklet | Guidelines | FAQ | News News | Feature Requests | Y Combinator | Apply | Library