https://9lib.net/document/y6eo88do-a-mathematical-introduction-to-modal-logic.html