Follow
Kohei Kishida
Title
Cited by
Cited by
Year
Contextuality, cohomology and paradox
S Abramsky, RS Barbosa, K Kishida, R Lal, S Mansfield
arXiv preprint arXiv:1502.03097, 2015
1492015
Topology and modality: The topological interpretation of first-order modal logic
S Awodey, K Kishida
The Review of Symbolic Logic 1 (2), 146-166, 2008
592008
Linear dependent type theory for quantum programming languages
P Fu, K Kishida, P Selinger
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
442020
Funny business in branching space-times: Infinite modal correlations
T Müller, N Belnap, K Kishida
Synthese 164, 141-159, 2008
292008
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
P Fu, K Kishida, NJ Ross, P Selinger
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020
242020
PLQP & company: decidable logics for quantum algorithms
A Baltag, J Bergfeld, K Kishida, J Sack, S Smets, S Zhong
International Journal of Theoretical Physics 53 (10), 3628-3647, 2014
212014
Topos semantics for higher-order modal logic
S Awodey, K Kishida, HC Kotzsch
Logique et Analyse 57 (228), 591-636, 2014
202014
Possibilities determine the combinatorial structure of probability polytopes
S Abramsky, RS Barbosa, K Kishida, R Lal, S Mansfield
Journal of Mathematical Psychology 74, 58-65, 2016
19*2016
Proto-Quipper with dynamic lifting
P Fu, K Kishida, NJ Ross, P Selinger
Proceedings of the ACM on Programming Languages 7 (POPL), 309-334, 2023
18*2023
Logic of local inference for contextuality in quantum physics and beyond
K Kishida
arXiv preprint arXiv:1605.08949, 2016
132016
Duality for the logic of quantum actions
JM Bergfeld, K Kishida, J Sack, S Zhong
Studia Logica 103, 781-805, 2015
132015
On topological issues of indeterminism
T Placek, N Belnap, K Kishida
Erkenntnis 79, 403-436, 2014
132014
Minimum quantum resources for strong non-locality
S Abramsky, RS Barbosa, G Carù, N De Silva, K Kishida, S Mansfield
arXiv preprint arXiv:1705.09312, 2017
122017
Neighborhood-sheaf semantics for first-order modal logic
K Kishida
Electronic Notes in Theoretical Computer Science 278, 129-143, 2011
122011
Quantum probabilistic dyadic second-order logic
A Baltag, JM Bergfeld, K Kishida, J Sack, SJL Smets, S Zhong
Logic, Language, Information, and Computation: 20th International Workshop …, 2013
112013
Stochastic relational presheaves and dynamic logic for contextuality
K Kishida
arXiv preprint arXiv:1412.8542, 2014
62014
Generalized topological semantics for first-order modal logic
K Kishida
University of Pittsburgh, 2011
62011
Three proofs and the Knower in the Quantified Logic of Proofs
H Arló-Costa, K Kishida
Online Proceedings of Sixth Annual Formal Epistemology Workshop (FEW 2009 …, 2009
62009
Topological Completeness of First-Order Modal Logic
S Awodey, K Kishida
Advances in Modal Logic 9, 1-17, 2012
52012
Public announcements under sheaves
K Kishida
New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS …, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20