| " Knowing value" logic as a normal modal logic T Gu, Y Wang arXiv preprint arXiv:1604.08709, 2016 | 33 | 2016 |
| Proof-theoretic semantics for intuitionistic multiplicative linear logic AV Gheorghiu, T Gu, DJ Pym International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 8 | 2023 |
| Proof-theoretic Semantics for the Logic of Bunched Implications T Gu, AV Gheorghiu, DJ Pym arXiv preprint arXiv:2311.16719, 2023 | 4 | 2023 |
| Coalgebraic semantics for probabilistic logic programming T Gu, F Zanasi Logical Methods in Computer Science 17, 2021 | 4 | 2021 |
| Functorial semantics as a unifying perspective on logic programming T Gu, F Zanasi 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), 2021 | 4 | 2021 |
| A complete diagrammatic calculus for boolean satisfiability T Gu, R Piedeleu, F Zanasi Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 3 | 2023 |
| A coalgebraic perspective on probabilistic logic programming T Gu, F Zanasi Dagstuhl Publishing, 2019 | 2 | 2019 |
| Hennessy-milner results for probabilistic pdl T Gu, A Silva, F Zanasi Electronic Notes in Theoretical Computer Science 352, 283-304, 2020 | 1 | 2020 |
| Categorical modelling of logic programming: coalgebra, functorial semantics, string diagrams T Gu UCL (University College London), 2023 | | 2023 |
| A Complete Diagrammatic Calculus for Boolean Satisfiability TGRPF Zanasi | | 2022 |
