Kohei Kishida's Work on Relational Presheaves & Dynamic Logic

Explores Kohei Kishida's research on stochastic relational presheaves and dynamic logic for analyzing contextuality in systems.