. Einführung in die Modallogik. 2021