https://5dok.net/document/oz1e1r8y-studies-extension-standard-modal-logic-infinite-modality.html