Penghao Du

According to our database, Penghao Du authored at least 1 paper in 2023.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2023

Axiomatization of Hybrid Logic of Link Variations.

Penghao Du, Qian Chen

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023