collaborators

1 paper

math.LO2014

Topos Semantics for Higher-Order Modal Logic

Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos . In contrast to the well-known interpretation of (non-modal) higher-order…