"Knowing value'' logic as a normal modal logic. - Tao Gu 002; Yanjing Wang 001 (Advances in Modal Logic, 2016)

A Coalgebraic Perspective on Probabilistic Logic Programming. - Tao Gu 002; Fabio Zanasi (CALCO, 2019)

Hennessy-Milner Results for Probabilistic PDL. - Tao Gu 002; Alexandra Silva 001; Fabio Zanasi (MFPS, 2020)

Functorial Semantics as a Unifying Perspective on Logic Programming. - Tao Gu 002; Fabio Zanasi (CALCO, 2021)

Coalgebraic Semantics for Probabilistic Logic Programming. - Tao Gu 002; Fabio Zanasi (Log. Methods Comput. Sci., 2021)

A Complete Diagrammatic Calculus for Boolean Satisfiability. - Tao Gu 002; Robin Piedeleu; Fabio Zanasi (MFPS, 2022)

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (TABLEAUX, 2023)

Proof-theoretic Semantics for the Logic of Bunched Implications. - Tao Gu 002; Alexander V. Gheorghiu; David J. Pym (CoRR, 2023)

A Categorical Approach to DIBI Models. - Tao Gu 002; Jialu Bao; Justin Hsu; Alexandra Silva 001; Fabio Zanasi (FSCD, 2024)

Inferentialist Resource Semantics. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

A Note on the Practice of Logical Inferentialism. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

A Note on an Inferentialist Approach to Resource Semantics. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)