Hackers might be interested to know that there's an "open questions" section at the end of TFA. Some of it probably wants simulation, some wants theorems.

Camel-ai framework/pubs seems related / useful, like maybe this one: https://github.com/camel-ai/agent-trust

Several model checkers also have primitives for working with common knowledge

> Learning a fact changes what you know. Seeing it displayed publicly — where everyone else can see it too — where you know others can also see it, changes what everyone knows, and subsequently how they act.

An important piece of technical vocabulary, it really seems we need this to talk about a lot of problems lately.