Kotzsch, Hans-Christoph (2016): Topos semantics for higher-order modal logic. Dissertation, LMU München: Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft