Kotzsch, Hans-Christoph (2016): Topos semantics for higher-order modal logic. Dissertation, LMU München: Faculty of Philosophy, Philosophy of Science and the Study of Religion