https://9dok.net/document/yj7vl122-schroeder-heister-bartosz-więckowski-seminar-modallogik-sommersemester-ubungsblatt.html