Contextuality, cohomology and paradox S Abramsky, RS Barbosa, K Kishida, R Lal, S Mansfield arXiv preprint arXiv:1502.03097, 2015 | 127 | 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 | 55 | 2008 |

Funny business in branching space-times: Infinite modal correlations T Müller, N Belnap, K Kishida Synthese 164, 141-159, 2008 | 31 | 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 | 30 | 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 | 22 | 2020 |

Topos semantics for higher-order modal logic S Awodey, K Kishida, HC Kotzsch Logique et Analyse 57 (228), 591-636, 2014 | 17 | 2014 |

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 | 17 | 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 | 16 | 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 | 12 | 2014 |

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 |

Neighborhood-sheaf semantics for first-order modal logic K Kishida Electronic Notes in Theoretical Computer Science 278, 129-143, 2011 | 11 | 2011 |

Logic of local inference for contextuality in quantum physics and beyond K Kishida arXiv preprint arXiv:1605.08949, 2016 | 10 | 2016 |

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 | 7 | 2017 |

A biset-enriched categorical model for Proto-Quipper with dynamic lifting P Fu, K Kishida, NJ Ross, P Selinger arXiv preprint arXiv:2204.13039, 2022 | 6 | 2022 |

Proto-Quipper with dynamic lifting P Fu, K Kishida, NJ Ross, P Selinger arXiv preprint arXiv:2204.13041, 2022 | 6 | 2022 |

24th EACSL Annual Conference on Computer Science Logic (CSL 2015) S Abramsky, RS Barbosa, K Kishida, R Lal, S Mansfield Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2015 | 6 | 2015 |

Topological Completeness of First-Order Modal Logic S Awodey, K Kishida Advances in Modal Logic 9, 1-17, 2012 | 6 | 2012 |

Generalized topological semantics for first-order modal logic K Kishida University of Pittsburgh, 2011 | 6 | 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 | 5 | 2009 |