Topology and Modality: the Topological Interpretation of First-order Modal Logic. - Steve Awodey; Kohei Kishida (Rev. Symb. Log., 2008)

Funny business in branching space-times: infinite modal correlations. - Thomas Müller 007; Nuel Belnap; Kohei Kishida (Synth., 2008)

Neighborhood-Sheaf Semantics for First-Order Modal Logic. - Kohei Kishida (M4M/LAMAS, 2011)

Topological Completeness of First-Order Modal Logics. - Steven Awodey; Kohei Kishida (Advances in Modal Logic, 2012)

Public Announcements under Sheaves. - Kohei Kishida (JSAI-isAI Workshops, 2012)

General Topos Semantics for Higher-Order Modal Logic. - Steve Awodey; Kohei Kishida; Hans-Christoph Kotzsch (TACL, 2013)

Quantum Probabilistic Dyadic Second-Order Logic. - Alexandru Baltag; Jort Bergfeld; Kohei Kishida; Joshua Sack; Sonja Smets; Shengyang Zhong (WoLLIC, 2013)

Stochastic Relational Presheaves and Dynamic Logic for Contextuality. - Kohei Kishida (QPL, 2014)

Contextuality, Cohomology and Paradox. - Samson Abramsky; Rui Soares Barbosa; Kohei Kishida; Raymond Lal; Shane Mansfield (CSL, 2015)

Duality for the Logic of Quantum Actions. - Jort M. Bergfeld; Kohei Kishida; Joshua Sack; Shengyang Zhong (Stud Logica, 2015)

Logic of Local Inference for Contextuality in Quantum Physics and Beyond. - Kohei Kishida (ICALP, 2016)

Possibilities Determine the Combinatorial Structure of Probability Polytopes. - Samson Abramsky; Rui Soares Barbosa; Kohei Kishida; Raymond Lal; Shane Mansfield (CoRR, 2016)

Minimum Quantum Resources for Strong Non-Locality. - Samson Abramsky; Rui Soares Barbosa; Giovanni Carù; Nadish de Silva; Kohei Kishida; Shane Mansfield (TQC, 2017)

Categories for Dynamic Epistemic Logic. - Kohei Kishida (TARK, 2017)

Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. - Peng Fu 001; Kohei Kishida; Peter Selinger (LICS, 2020)

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (RC, 2020)

A biset-enriched categorical model for Proto-Quipper with dynamic lifting. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (QPL, 2022)

On the Lambek embedding and the category of product-preserving presheaves. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (CoRR, 2022)

Linear Dependent Type Theory for Quantum Programming Languages. - Peng Fu 001; Kohei Kishida; Peter Selinger (Log. Methods Comput. Sci., 2022)

Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach. - Kohei Kishida (LENLS, 2023)

Proto-Quipper with Dynamic Lifting. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (Proc. ACM Program. Lang., 2023)

Proto-Quipper with Reversing and Control. - Peng Fu 001; Kohei Kishida; Neil J. Ross; Peter Selinger (CoRR, 2024)