Communicatieprotocollen
Voor het LOK-web heeft de RuG op het gebied van epistemische logica enige toepassingen gemaakt over het onderwerp communicatieprotocollen. Door de links te volgen zijn enige applets te bekijken waarin de protocollen gevisualiseerd worden. In de laatste twee applets is er een mogelijkheid om regels uit de protocollen weg te laten, waardoor men kan zien wat er dan fout gaat.