Kohei Kishida

20082018
If you made any changes in Pure, your changes 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.

  • 2 Similar Profiles
First-order Logic Mathematics
Modal Logic Mathematics
Sheaves Mathematics
Logic Mathematics
Orthomodular Lattice Mathematics
Second-order Logic Mathematics
Algebra Mathematics
Decidability Mathematics

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

Research Output 2008 2018

  • 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

Modality
Modal Logic
Duality
Category Theory
Syntax

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

Orthomodular Lattice
Complete Lattice
Categorical
equivalence
algebra

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
Semantics

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

Physics
Topology