This is where I collect and write things, mostly on art and artificial intelligence. By @vaishakbelle.
We can’t overstate the unusual effectiveness and prevalence of modal logic for AI. Time, possibilities, and probabilities, all require us to imagine worlds different to our own, and there’s really only one candidate for a language and semantics: modal logic.
Of course it also helps that’s it’s a versatile and elegant mathematical framework.