Une extension de logic modal playground

Le site Logic Modal Playground (https://rkirsling.github.io/modallogic/) offre une interface graphique intuitive (javascript avec D3/MathJax) permettant de spécifier des modèles, et de vérifier des formules de logique modale.
Toutefois, le site reste limité, en particulier par le fait qu'il n'est pas possible de définir de modèles mutli-agents. On propose donc dans ce projet d'étendre ses fonctionnalités, en permettant:
* de spécifier plusieurs relations (multi-agents);
* d'utiliser les opérateurs de connaissances communes et distribuée;
* et de permettre des modifications des modèles par des annonces publiques.
On pourra utiliser comme cas tests plusieurs des problèmes vus en LRC.