https://9dok.net/document/zgw35wg8-modallogik-temporale-logiken-und-monadische-logik.html