Quantum Probabilistic Dyadic Second-Order Logic. - Alexandru Baltag; Jort Bergfeld; Kohei Kishida; Joshua Sack; Sonja Smets; Shengyang Zhong (WoLLIC, 2013)

Duality for the Logic of Quantum Actions. - Jort M. Bergfeld; Kohei Kishida; Joshua Sack; Shengyang Zhong (Stud Logica, 2015)

On the Modal Logic of the Non-orthogonality Relation Between Quantum States. - Shengyang Zhong (J. Log. Lang. Inf., 2018)

Correspondence Between Kripke Frames and Projective Geometries. - Shengyang Zhong (Stud Logica, 2018)

Product Design Model for E-Commerce Cantonese Porcelain Based on User Perceptual Image in China. - Shengyang Zhong; Peng Tan; Tieming Fu; Yi Ji (HCI (3), 2020)

Constructing Embodied Interaction of Intangible Cultural Heritage Course through Immersive Virtual Reality. - Yi Ji; Shengyang Zhong; Bin Zhang; Sean M. Clark (CCHI, 2021)

Research on Immersive Virtual Reality Display Design Mode of Cantonese Porcelain Based on Embodied Interaction. - Shengyang Zhong; Yi Ji; Xingyang Dai; Sean M. Clark (HCI (3), 2021)

A General Relational Semantics of Propositional Logic: Axiomatization. - Shengyang Zhong (WoLLIC, 2021)

An Immersive Embodied Interaction Artwork of Cantonese Porcelain. - Yi Ji 001; Shengyang Zhong; Yihui Cai; Junxian Lin; Zhenni Li (CCHI, 2023)

A Study on Gamification Design of Intangible Cultural Heritage Based on ARCS Theory. - Mingyu Han; Yi Ji; Gengxin Lin; Leer Liang; Shengyang Zhong (HCI (5), 2024)

Birkhoff-von Neumann quantum logic as an assertion language for quantum programs. - Shengyang Zhong (Acta Informatica, 2025)

Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence. - Shengyang Zhong (Acta Informatica, 2025)

Enriched Quantales Arising from Complete Orthomodular Lattices. - Soroush Rafiee Rad; Joshua Sack; Shengyang Zhong (Stud Logica, 2025)