Ways to use the modal logic playground