| 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 |
| scientific article; zbMATH DE number 7599491 (Why is no real title available?) | 2022-10-11 | Paper |
Linear dependent type theory for quantum programming languages
Logical Methods in Computer Science | 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 |
Categories for dynamic epistemic logic
(available as arXiv preprint) | 2021-12-14 | Paper |
A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
(available as arXiv preprint) | 2021-07-05 | Paper |
| Stochastic relational presheaves and dynamic logic for contextuality | 2021-06-29 | Paper |
Stochastic relational presheaves and dynamic logic for contextuality
(available as arXiv preprint) | 2021-06-29 | Paper |
Linear dependent type theory for quantum programming languages: extended abstract
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Minimum quantum resources for strong non-locality
(available as arXiv preprint) | 2018-05-03 | Paper |
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
International Journal of Theoretical Physics | 2018-02-05 | Paper |
Logic of Local Inference for Contextuality in Quantum Physics and Beyond
(available as arXiv preprint) | 2017-12-19 | Paper |
Contextuality, Cohomology and Paradox
(available as arXiv preprint) | 2017-08-31 | Paper |
Topos Semantics for Higher-Order Modal Logic
(available as arXiv preprint) | 2017-04-11 | Paper |
Possibilities determine the combinatorial structure of probability polytopes
Journal of Mathematical Psychology | 2016-11-01 | Paper |
Neighborhood-sheaf semantics for first-order modal logic
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Duality for the logic of quantum actions
Studia Logica | 2015-09-15 | Paper |
On topological issues of indeterminism
Erkenntnis | 2015-01-26 | Paper |
| Ceteris paribus (,) logic helps | 2015-01-22 | Paper |
PLQP \& Company: decidable logics for quantum algorithms
International Journal of Theoretical Physics | 2014-11-19 | Paper |
| scientific article; zbMATH DE number 6302891 (Why is no real title available?) | 2014-06-11 | Paper |
Quantum Probabilistic Dyadic Second-Order Logic
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
| scientific article; zbMATH DE number 6130978 (Why is no real title available?) | 2013-01-27 | Paper |
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
The Review of Symbolic Logic | 2010-08-13 | Paper |
Funny business in branching space-times: infinite modal correlations
Synthese | 2009-06-17 | Paper |
