https://123dok.net/document/7q0e7d9y-remarks-unification-type-non-symmetric-transitive-modal-logics.html