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

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

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

A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper P Fu, K Kishida, NJ Ross, P Selinger International Conference on Reversible Computation, 153-168, 2020 | 13 | 2020 |

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

Duality for the logic of quantum actions JM Bergfeld, K Kishida, J Sack, S Zhong Studia Logica 103 (4), 781-805, 2015 | 12 | 2015 |

On topological issues of indeterminism T Placek, N Belnap, K Kishida Erkenntnis 79 (3), 403-436, 2014 | 12 | 2014 |

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

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

Quantum probabilistic dyadic second-order logic A Baltag, JM Bergfeld, K Kishida, J Sack, SJL Smets, S Zhong International Workshop on Logic, Language, Information, and Computation, 64-80, 2013 | 8 | 2013 |

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

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

Generalized topological semantics for first-order modal logic K Kishida University of Pittsburgh, 2011 | 5 | 2011 |

Three proofs and the Knower in the Quantified Logic of Proofs H Arló-Costa, K Kishida Formal Epistemology Workshop/FEW 2009. Proceedings, 2009 | 5 | 2009 |

Proto-Quipper with dynamic lifting P Fu, K Kishida, NJ Ross, P Selinger arXiv preprint arXiv:2204.13041, 2022 | 4 | 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 | 4 | 2015 |

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