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
1182015
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
522008
Funny business in branching space-times: Infinite modal correlations
T Müller, N Belnap, K Kishida
Synthese 164 (1), 141-159, 2008
282008
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
172020
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
142016
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
142014
Topos semantics for higher-order modal logic
S Awodey, K Kishida, HC Kotzsch
Logique et Analyse 57 (228), 591-636, 2014
132014
Duality for the logic of quantum actions
JM Bergfeld, K Kishida, J Sack, S Zhong
Studia Logica 103 (4), 781-805, 2015
122015
On topological issues of indeterminism
T Placek, N Belnap, K Kishida
Erkenntnis 79 (3), 403-436, 2014
122014
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
112020
Neighborhood-sheaf semantics for first-order modal logic
K Kishida
Electronic Notes in Theoretical Computer Science 278, 129-143, 2011
102011
Logic of local inference for contextuality in quantum physics and beyond
K Kishida
arXiv preprint arXiv:1605.08949, 2016
92016
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
82013
Topological Completeness of First-Order Modal Logic
S Awodey, K Kishida
Advances in Modal Logic 9, 1-17, 2012
72012
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
62017
Generalized topological semantics for first-order modal logic
K Kishida
University of Pittsburgh, 2011
52011
Three proofs and the Knower in the Quantified Logic of Proofs
H Arló-Costa, K Kishida
Formal Epistemology Workshop/FEW 2009. Proceedings, 2009
52009
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
42015
Stochastic relational presheaves and dynamic logic for contextuality
K Kishida
arXiv preprint arXiv:1412.8542, 2014
42014
Public announcements under sheaves
K Kishida
JSAI International Symposium on Artificial Intelligence, 96-108, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20