LogicsKite

https://FormalizedFormalLogic.github.io/LogicsKite/Modal.png