Kohei Kishida

According to our database, Kohei Kishida authored at least 22 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proto-Quipper with Reversing and Control.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

CoRR, 2024

2023

Proto-Quipper with Dynamic Lifting.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Proc. ACM Program. Lang., January, 2023

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

Kohei Kishida

Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

2022

Linear Dependent Type Theory for Quantum Programming Languages.

Peng Fu, Kohei Kishida, Peter Selinger

Log. Methods Comput. Sci., 2022

On the Lambek embedding and the category of product-preserving presheaves.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

CoRR, 2022

A biset-enriched categorical model for Proto-Quipper with dynamic lifting.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2020

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Proceedings of the Reversible Computation - 12th International Conference, 2020

Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract.

Peng Fu, Kohei Kishida, Peter Selinger

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2017

Categories for Dynamic Epistemic Logic.

Kohei Kishida

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Minimum Quantum Resources for Strong Non-Locality.

Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, Kohei Kishida, Shane Mansfield

Proceedings of the 12th Conference on the Theory of Quantum Computation, 2017

2016

Possibilities Determine the Combinatorial Structure of Probability Polytopes.

Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield

CoRR, 2016

Logic of Local Inference for Contextuality in Quantum Physics and Beyond.

Kohei Kishida

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Duality for the Logic of Quantum Actions.

Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong

Stud Logica, 2015

Contextuality, Cohomology and Paradox.

Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Stochastic Relational Presheaves and Dynamic Logic for Contextuality.

Kohei Kishida

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2013

Quantum Probabilistic Dyadic Second-Order Logic.

Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong

Proceedings of the Logic, Language, Information, and Computation, 2013

General Topos Semantics for Higher-Order Modal Logic.

Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Public Announcements under Sheaves.

Kohei Kishida

Proceedings of the New Frontiers in Artificial Intelligence, 2012

Topological Completeness of First-Order Modal Logics.

Steven Awodey, Kohei Kishida

Proceedings of the Advances in Modal Logic 9, 2012

2011

Neighborhood-Sheaf Semantics for First-Order Modal Logic.

Kohei Kishida

Proceedings of the 7th Workshop on Methods for Modalities, 2011

2008

Funny business in branching space-times: infinite modal correlations.

Thomas Müller, Nuel Belnap, Kohei Kishida

Synth., 2008

Topology and Modality: the Topological Interpretation of First-order Modal Logic.

Steve Awodey, Kohei Kishida

Rev. Symb. Log., 2008