Yiheng Wang
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Yiheng Wang has a total of 7 co-authors. Here are the top co-authors by number of shared publications:
- Yu Peng
Sun Yat-sen University
4 shared publications - Zhe Lin
Department of Philosophy, Xiamen University, Xiamen, China
4 shared publications - Hao Zhan
Department of Philosophy, Xiamen University, Xiamen, China
2 shared publications - Zhe Yu
Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou, China
2 shared publications - Fei Liang
Shandong University
1 shared publication - Minghui Ma
Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou, China
1 shared publication
Latest Publications
- 4 September 2026
- Published by Springer Nature in Synthese
- Vol. 208 (3) , 146
FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity
- 4 September 2026
- Published by Springer Nature in Synthese
- Vol. 208 (3) , 146
FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity
- 3 June 2026
- Published by Springer Nature
- p. 203-210
Logics for Kleene Algebra with Modal Operators: Kripke-Completeness and FMP
- 3 June 2026
- Published by Springer Nature
- p. 203-210
Logics for Kleene Algebra with Modal Operators: Kripke-Completeness and FMP
- 3 October 2025
- Published by Springer Nature
- p. 165-178
Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics
- 3 October 2025
- Published by Springer Nature
- p. 165-178
Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics
- 29 August 2025
- Published by Springer Nature
- p. 290-305
From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness
- 29 August 2025
- Published by Springer Nature
- p. 290-305
From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness
- Open Access
On the Equational Theory of Lattice-Based Algebras for Layered Graphs
Layered algebras are introduced and used to express layered graphs. Layered graphs are considered to be a highly effective abstract tool to manage the difficulty in conceptualizing and reasoning regarding complex systems related to coding in email exchange and access control in security. In the present paper, we study the varieties of several classes of lattice-based layer algebras and show that all these varieties have decidable equational theory via a finite model property.
Open AccessOn the Equational Theory of Lattice-Based Algebras for Layered Graphs
Layered algebras are introduced and used to express layered graphs. Layered graphs are considered to be a highly effective abstract tool to manage the difficulty in conceptualizing and reasoning regarding complex systems related to coding in email exchange and access control in security. In the present paper, we study the varieties of several classes of lattice-based layer algebras and show that all these varieties have decidable equational theory via a finite model property.
- 2 April 2024
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 34 (2-3) , 269-293
Decidability of topological quasi-Boolean algebras
- 2 April 2024
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 34 (2-3) , 269-293
Decidability of topological quasi-Boolean algebras
- 24 October 2023
- Published by Springer Nature
- p. 207-221
On the Finite Model Property of Non-normal Modal Logics
- 24 October 2023
- Published by Springer Nature
- p. 207-221
On the Finite Model Property of Non-normal Modal Logics
- Open Access
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.
Open AccessInvolutive Commutative Residuated Lattice without Unit: Logics and Decidability
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.