Research Output per year

## 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

## 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 proceeding › Chapter

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 proceeding › Conference 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 journal › Article

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 journal › Conference 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 proceeding › Conference contribution

Physics

Topology