46 citations · 104 across the 12 of their papers we have counts for
1 paper · 2 filters
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of (non-modal) higher-order…