Shengyang Zhong

According to our database, Shengyang Zhong authored at least 11 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Birkhoff-von Neumann quantum logic as an assertion language for quantum programs.

Shengyang Zhong

Acta Informatica, March, 2025

2024

A Study on Gamification Design of Intangible Cultural Heritage Based on ARCS Theory.

Mingyu Han, Yi Ji, Gengxin Lin, Leer Liang, Shengyang Zhong

Proceedings of the Human-Computer Interaction, 2024

2023

An Immersive Embodied Interaction Artwork of Cantonese Porcelain.

Yi Ji, Shengyang Zhong, Yihui Cai, Junxian Lin, Zhenni Li

Proceedings of the Eleventh International Symposium of Chinese CHI, 2023

2021

A General Relational Semantics of Propositional Logic: Axiomatization.

Shengyang Zhong

Proceedings of the Logic, Language, Information, and Computation, 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

Proceedings of the Human-Computer Interaction. Design and User Experience Case Studies, 2021

Constructing Embodied Interaction of Intangible Cultural Heritage Course through Immersive Virtual Reality.

Yi Ji, Shengyang Zhong, Bin Zhang, Sean M. Clark

Proceedings of the Chinese CHI 2021: The Ninth International Symposium of Chinese CHI, Online Event, Hong Kong, October 16, 2021

2020

Product Design Model for E-Commerce Cantonese Porcelain Based on User Perceptual Image in China.

Shengyang Zhong, Peng Tan, Tieming Fu, Yi Ji

Proceedings of the Human-Computer Interaction. Human Values and Quality of Life, 2020

2018

Correspondence Between Kripke Frames and Projective Geometries.

Shengyang Zhong

Stud Logica, 2018

On the Modal Logic of the Non-orthogonality Relation Between Quantum States.

Shengyang Zhong

J. Log. Lang. Inf., 2018

2015

Duality for the Logic of Quantum Actions.

Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong

Stud Logica, 2015

2013

Quantum Probabilistic Dyadic Second-Order Logic.

Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong

Proceedings of the Logic, Language, Information, and Computation, 2013