46 citations · 104 across the 12 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 2 cited
Stochastic Relational Presheaves and Dynamic Logic for Contextuality
Kohei Kishida
Presheaf models provide a formulation of labelled transition systems that is useful for, among other things, modelling concurrent computation. This paper aims to extend such models…
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…