2,510 followers
@mitoModeller @SC_Griffith In computer science through Curry Howard, Monads turn out to be the Modal Logic S4. As soon as you do multi-agent thinking you need modalities, as you need to look at different models that other agents may have. So it comes up in