| Contextuality, cohomology and paradox S Abramsky, RS Barbosa, K Kishida, R Lal, S Mansfield arXiv preprint arXiv:1502.03097, 2015 | 159 | 2015 |
| 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 | 65 | 2008 |
| 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 | 52 | 2020 |
| 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 | 31 | 2020 |
| Funny business in branching space-times: Infinite modal correlations T Müller, N Belnap, K Kishida Synthese 164, 141-159, 2008 | 29 | 2008 |
| 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 | 26* | 2023 |
| Topos semantics for higher-order modal logic S Awodey, K Kishida, HC Kotzsch Logique et Analyse 57 (228), 591-636, 2014 | 25 | 2014 |
| 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 | 23 | 2016 |
| 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 | 20 | 2014 |
| 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 | 19 | 2017 |
| Logic of local inference for contextuality in quantum physics and beyond K Kishida arXiv preprint arXiv:1605.08949, 2016 | 13 | 2016 |
| Duality for the logic of quantum actions JM Bergfeld, K Kishida, J Sack, S Zhong Studia Logica 103, 781-805, 2015 | 13 | 2015 |
| On topological issues of indeterminism T Placek, N Belnap, K Kishida Erkenntnis 79, 403-436, 2014 | 13 | 2014 |
| Neighborhood-sheaf semantics for first-order modal logic K Kishida Electronic Notes in Theoretical Computer Science 278, 129-143, 2011 | 13 | 2011 |
| 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 | 11 | 2013 |
| Generalized topological semantics for first-order modal logic K Kishida University of Pittsburgh, 2011 | 9 | 2011 |
| 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 | 7 | 2009 |
| Stochastic relational presheaves and dynamic logic for contextuality K Kishida arXiv preprint arXiv:1412.8542, 2014 | 6 | 2014 |
| Topological Completeness of First-Order Modal Logic S Awodey, K Kishida Advances in Modal Logic 9, 1-17, 2012 | 5 | 2012 |
| Categories and modalities K Kishida Categories for the Working Philosopher, 163, 2017 | 4 | 2017 |
Shane MansfieldQuandelaVerified email at quandela.com
