https://9lib.org/document/zpnxr38r-semantyki-pewnych-logik-wielomodalnych.html