Kohei Kishida

Available identifiers

zbMath Open kishida.koheiMaRDI QIDQ334456

List of research outcomes

Publication	Date of Publication	Type
Topology and justified true belief: a baseless, evidence-free (and pointless) approach	2024-11-12	Paper
Gödel, Escher, Bell: contextual semantics of logical paradoxes	2024-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q5040172	2022-10-11	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2022-10-06	Paper
On the Lambek embedding and the category of product-preserving presheaves	2022-05-12	Paper
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2022-04-27	Paper
Proto-Quipper with dynamic lifting	2022-04-27	Paper
Categories for Dynamic Epistemic Logic	2021-12-14	Paper
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4997285	2021-06-29	Paper
Linear Dependent Type Theory for Quantum Programming Languages	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4637983	2018-05-03	Paper
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices	2018-02-05	Paper
Logic of Local Inference for Contextuality in Quantum Physics and Beyond	2017-12-19	Paper
Contextuality, Cohomology and Paradox	2017-08-31	Paper
Topos Semantics for Higher-Order Modal Logic	2017-04-11	Paper
Possibilities determine the combinatorial structure of probability polytopes	2016-11-01	Paper
Neighborhood-sheaf semantics for first-order modal logic	2016-10-07	Paper
Duality for the logic of quantum actions	2015-09-15	Paper
On topological issues of indeterminism	2015-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q2939510	2015-01-22	Paper
PLQP \& Company: decidable logics for quantum algorithms	2014-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5419867	2014-06-11	Paper
Quantum Probabilistic Dyadic Second-Order Logic	2013-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4903799	2013-01-27	Paper
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC	2010-08-13	Paper
Funny business in branching space-times: infinite modal correlations	2009-06-17	Paper

Research outcomes over time

This page was built for person: Kohei Kishida