Shengyang Zhong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Preparation and test in physics Foundations of Science	2026-03-31	Paper
Birkhoff-von Neumann quantum logic as an assertion language for quantum programs Acta Informatica	2025-01-10	Paper
Quantum states: an analysis via the orthogonality relation Synthese	2024-01-19	Paper
Quantum entanglement: an analysis via the orthogonality relation Foundations of Physics	2023-08-09	Paper
A general relational semantics of propositional logic: axiomatization	2022-06-24	Paper
On the modal logic of the non-orthogonality relation between quantum states Journal of Logic, Language and Information	2019-01-18	Paper
Correspondence between Kripke frames and projective geometries Studia Logica	2018-04-04	Paper
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices International Journal of Theoretical Physics	2018-02-05	Paper
Duality for the logic of quantum actions Studia Logica	2015-09-15	Paper
PLQP \& Company: decidable logics for quantum algorithms International Journal of Theoretical Physics	2014-11-19	Paper
Quantum Probabilistic Dyadic Second-Order Logic Logic, Language, Information, and Computation	2013-09-17	Paper

Research outcomes over time

This page was built for person: Shengyang Zhong