Kohei Kishida

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 16

Top Topics

Gentle Introduction

Epistemic Logic

Programming Language

Nonmonotonic Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Kohei Kishida
Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach. LENLS (2023)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Proto-Quipper with Dynamic Lifting. Proc. ACM Program. Lang. 7 (POPL) (2023)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
On the Lambek embedding and the category of product-preserving presheaves. CoRR (2022)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Proto-Quipper with dynamic lifting. CoRR (2022)
Peng Fu, Kohei Kishida, Peter Selinger
Linear Dependent Type Theory for Quantum Programming Languages. Log. Methods Comput. Sci. 18 (3) (2022)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
A biset-enriched categorical model for Proto-Quipper with dynamic lifting. CoRR (2022)
Kohei Kishida
Proceedings of the Fourth International Conference on Applied Category Theory. CoRR (2022)
Peng Fu, Kohei Kishida, Peter Selinger
Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. LICS (2020)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. RC (2020)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. CoRR (2020)
Peng Fu, Kohei Kishida, Peter Selinger
Linear Dependent Type Theory for Quantum Programming Languages. CoRR (2020)
Kohei Kishida
Categories for Dynamic Epistemic Logic. TARK (2017)
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, Kohei Kishida, Shane Mansfield
Minimum Quantum Resources for Strong Non-Locality. TQC (2017)
Kohei Kishida
Logic of Local Inference for Contextuality in Quantum Physics and Beyond. CoRR (2016)
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
Possibilities Determine the Combinatorial Structure of Probability Polytopes. CoRR (2016)
Kohei Kishida
Logic of Local Inference for Contextuality in Quantum Physics and Beyond. ICALP (2016)
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
Contextuality, Cohomology and Paradox. CoRR (2015)
Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong
Duality for the Logic of Quantum Actions. Stud Logica 103 (4) (2015)
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
Contextuality, Cohomology and Paradox. CSL (2015)
Kohei Kishida
Stochastic Relational Presheaves and Dynamic Logic for Contextuality. QPL (2014)
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
General Topos Semantics for Higher-Order Modal Logic. TACL (2013)
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
Quantum Probabilistic Dyadic Second-Order Logic. WoLLIC (2013)
Kohei Kishida
Public Announcements under Sheaves. JSAI-isAI Workshops (2012)
Steven Awodey, Kohei Kishida
Topological Completeness of First-Order Modal Logics. Advances in Modal Logic (2012)
Kohei Kishida
Neighborhood-Sheaf Semantics for First-Order Modal Logic. Electron. Notes Theor. Comput. Sci. 278 (2011)
Thomas Müller, Nuel Belnap, Kohei Kishida
Funny business in branching space-times: infinite modal correlations. Synth. 164 (1) (2008)
Steve Awodey, Kohei Kishida
Topology and Modality: the Topological Interpretation of First-order Modal Logic. Rev. Symb. Log. 1 (2) (2008)