Shengyang Zhong

14 papers C 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Birkhoff-von Neumann quantum logic as an assertion language for quantum programs.
Acta Informatica
Shengyang Zhong
2025 J jnl
Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence.
Acta Informatica
Shengyang Zhong
2025 J jnl
Enriched Quantales Arising from Complete Orthomodular Lattices.
Stud Logica
Soroush Rafiee Rad, Joshua Sack, Shengyang Zhong
2025 J jnl
Propositional logic and modal logic - A connection via relational semantics.
J. Log. Comput.
Shengyang Zhong
2024 — conf
A Study on Gamification Design of Intangible Cultural Heritage Based on ARCS Theory.
HCI (5)
Mingyu Han, Yi Ji, Gengxin Lin, Leer Liang, Shengyang Zhong
2023 — conf
An Immersive Embodied Interaction Artwork of Cantonese Porcelain.
CCHI
Yi Ji, Shengyang Zhong, Yihui Cai, Junxian Lin, Zhenni Li
2021 C conf
A General Relational Semantics of Propositional Logic: Axiomatization.
WoLLIC
Shengyang Zhong
2021 — conf
Constructing Embodied Interaction of Intangible Cultural Heritage Course through Immersive Virtual Reality.
CCHI
Yi Ji, Shengyang Zhong, Bin Zhang, Sean M. Clark
2021 — conf
Research on Immersive Virtual Reality Display Design Mode of Cantonese Porcelain Based on Embodied Interaction.
HCI (3)
Shengyang Zhong, Yi Ji, Xingyang Dai, Sean M. Clark
2020 — conf
Product Design Model for E-Commerce Cantonese Porcelain Based on User Perceptual Image in China.
HCI (3)
Shengyang Zhong, Peng Tan, Tieming Fu, Yi Ji
2018 J jnl
Correspondence Between Kripke Frames and Projective Geometries.
Stud Logica
Shengyang Zhong
2018 J jnl
On the Modal Logic of the Non-orthogonality Relation Between Quantum States.
J. Log. Lang. Inf.
Shengyang Zhong
2015 J jnl
Duality for the Logic of Quantum Actions.
Stud Logica
Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong
2013 C conf
Quantum Probabilistic Dyadic Second-Order Logic.
WoLLIC
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong