Coherences

This program demonstrates five coherences we defined in social announcement logic.
The "Check Coherence" button only works for users-assigned networks and beliefs, not for the provided examples. Additionally, it is recommended to refresh the page to reassign a network and beliefs before performing the next coherence check

Network

Select an agent:

Select its followers:

Epistemic Distribution

Example of Coherences

Check Coherences (Only assigned, not examples)