A model checker for verifying properties in epistemic models
This is a model checker for verifying properties in epistemic models.
The goal of the model checker is to check for Pluralistic Ignorace in complex scenarios and to probe its robustness.
The motivation is based on the content of the paper [1].
Run the model checker by running run.py file using your favorite Python interpreter.
This file takes two arguments, a model file and an epistemic logic formula:
python run.py model_file.em "(~p) / p"
Model file format:
{states}
{agents}
{agent}:({state}<={state}),...
...
{agent}:({state}<={state}),...
{state}:{proposition},...
...
{state}:{proposition},...
The models will be made transitive and reflexive upon parsing, so the user