Contextuality, cohomology and paradox S Abramsky, RS Barbosa, K Kishida, R Lal, S Mansfield arXiv preprint arXiv:1502.03097, 2015 | 149 | 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 | 59 | 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 | 44 | 2020 |

Funny business in branching space-times: Infinite modal correlations T Müller, N Belnap, K Kishida Synthese 164, 141-159, 2008 | 29 | 2008 |

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 | 24 | 2020 |

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 | 21 | 2014 |

Topos semantics for higher-order modal logic S Awodey, K Kishida, HC Kotzsch Logique et Analyse 57 (228), 591-636, 2014 | 20 | 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 | 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 | 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 |

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

Neighborhood-sheaf semantics for first-order modal logic K Kishida Electronic Notes in Theoretical Computer Science 278, 129-143, 2011 | 12 | 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 |

Stochastic relational presheaves and dynamic logic for contextuality K Kishida arXiv preprint arXiv:1412.8542, 2014 | 6 | 2014 |

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 | 6 | 2009 |

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

Public announcements under sheaves K Kishida New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS …, 2013 | 3 | 2013 |