Implemented the full modal logic cube.