Kohei Kishida

If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 9 Article
  • 6 Conference contribution
  • 2 Conference article
  • 1 Chapter

Categories and Modalities

Kishida, K., Jan 18 2018, Categories for the Working Philosopher. Landry, E. (ed.). Oxford University Press, p. 163-222 60 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

  • Minimum quantum resources for strong non-locality

    Abramsky, S., Barbosa, R. S., Carù, G., De Silva, N., Kishida, K. & Mansfield, S., Feb 1 2018, 12th Conference on the Theory of Quantum Computation, Communication, and Cryptography, TQC 2017. Wilde, M. M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 91-920 830 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 73).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Categorical Equivalence Between Orthomodular Dynamic Algebras and Complete Orthomodular Lattices

    Kishida, K., Rafiee Rad, S., Sack, J. & Zhong, S., Dec 1 2017, In : International Journal of Theoretical Physics. 56, 12, p. 4060-4072 13 p.

    Research output: Contribution to journalArticle

  • Categories for dynamic epistemic logic

    Kishida, K., Jul 25 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 251, p. 353-372 20 p.

    Research output: Contribution to journalConference article

    Open Access
  • Logic of local inference for contextuality in quantum physics and beyond

    Kishida, K., Aug 1 2016, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. Rabani, Y., Chatzigiannakis, I., Sangiorgi, D. & Mitzenmacher, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 113. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 55).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution