Using the model-view-controller mechanism to combine representations of possible worlds for learners of modal logic