We stand with Ukraine  

Tao Gu

Orcid: 0000-0001-5749-0758

Affiliations:
  • University College London, UK
  • University of Amsterdam, ILLC, The Netherlands (former)
  • Peking University, Department of Philosophy, Beijing, China (former)


According to our database1, Tao Gu authored at least 12 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Note on an Inferentialist Approach to Resource Semantics.
[BibTeX]
[DOI]
Alexander V. Gheorghiu
,
Tao Gu
,
David J. Pym
CoRR, 2024

A Note on the Practice of Logical Inferentialism.
[BibTeX]
[DOI]
Alexander V. Gheorghiu
,
Tao Gu
,
David J. Pym
CoRR, 2024

Inferentialist Resource Semantics.
[BibTeX]
[DOI]
Alexander V. Gheorghiu
,
Tao Gu
,
David J. Pym
CoRR, 2024

A Categorical Approach to DIBI Models.
[BibTeX]
[DOI]
Tao Gu
,
Jialu Bao
,
Justin Hsu
,
Alexandra Silva
,
Fabio Zanasi
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023
Proof-theoretic Semantics for the Logic of Bunched Implications.
[BibTeX]
[DOI]
Tao Gu
,
Alexander V. Gheorghiu
,
David J. Pym
CoRR, 2023

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.
[BibTeX]
[DOI]
Alexander V. Gheorghiu
,
Tao Gu
,
David J. Pym
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022
A Complete Diagrammatic Calculus for Boolean Satisfiability.
[BibTeX]
[DOI]
Tao Gu
,
Robin Piedeleu
,
Fabio Zanasi
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021
Coalgebraic Semantics for Probabilistic Logic Programming.
[BibTeX]
[DOI]
Tao Gu
,
Fabio Zanasi
Log. Methods Comput. Sci., 2021

Functorial Semantics as a Unifying Perspective on Logic Programming.
[BibTeX]
[DOI]
Tao Gu
,
Fabio Zanasi
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020
Hennessy-Milner Results for Probabilistic PDL.
[BibTeX]
[DOI]
Tao Gu
,
Alexandra Silva
,
Fabio Zanasi
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

2019
A Coalgebraic Perspective on Probabilistic Logic Programming.
[BibTeX]
[DOI]
Tao Gu
,
Fabio Zanasi
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2016
"Knowing value'' logic as a normal modal logic.
[BibTeX]
[DOI]
Tao Gu
,
Yanjing Wang
Proceedings of the Advances in Modal Logic 11, 2016


  Loading...