VLDB 2026 Research / reviewers in the wild / expert
Shengyang Zhong
dblp:133/2539
· DBLP profile ↗
5ranked-venue papers
4as first author
4since 2021 · last 2025
0000-0001-5538-0002ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 4 first-author · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Birkhoff-von Neumann quantum logic as an assertion language for quantum programs
Shengyang Zhong |
Acta Informatica | 1 |
| 2025 | Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence
Shengyang Zhong |
Acta Informatica | 1 |
| 2025 | Propositional logic and modal logic - A connection via relational semanticsabstractAbstract In this paper, by slightly generalizing an observation of Dalla Chiara and Giuntini in their chapter on quantum logic in Handbook of Philosophical Logic, we propose a relational semantics for propositional language with negation and conjunction, which unifies the relational semantics of intuitionistic logic and that of ortho-logic. We study the semantic and syntactic consequence relations and prove the soundness and completeness theorems for five propositional logics: $\textbf{BL}$, $\textbf{PL}$, $\textbf{IL}$, $\textbf{OL}$ and $\textbf{CL}$. Moreover, we prove that they can be translated into the modal logics $\textbf{K}$, $\textbf{T}$, $\textbf{S4}$, $\textbf{KTB}$ and $\textbf{S5}$, respectively, and thus establish a systematic connection between propositional logics and modal logics. The paper ends with a discussion about the possibility and difficulty of incorporating disjunction into our framework. Shengyang Zhong |
J. Log. Comput. | 1 |
| 2021 | A General Relational Semantics of Propositional Logic: Axiomatization
Shengyang Zhong |
WoLLIC | 1 |
| 2013 | Quantum Probabilistic Dyadic Second-Order Logic
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong |
WoLLIC | 6 |