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
1502015
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
612008
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
472020
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
252020
Topos semantics for higher-order modal logic
S Awodey, K Kishida, HC Kotzsch
Logique et Analyse 57 (228), 591-636, 2014
222014
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
21*2023
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
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
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
Generalized topological semantics for first-order modal logic
K Kishida
University of Pittsburgh, 2011
82011
Stochastic relational presheaves and dynamic logic for contextuality
K Kishida
arXiv preprint arXiv:1412.8542, 2014
62014
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
Categories and Modalities
K Kishida
Categories for the Working Philosopher, 163, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20