https://123dok.net/document/6qm00p8y-setting-basis-modal-logic.html