We stand with Ukraine  

Han Gao

Orcid: 0009-0004-1095-3347

Affiliations:
  • Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic


According to our database1, Han Gao authored at least 6 papers between 2024 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels.
[BibTeX]
[DOI]
Han Gao
,
Marianna Girlando
,
Nicola Olivetti
CoRR, May, 2025

Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels.
[BibTeX]
[DOI]
Han Gao
,
Nicola Olivetti
Proceedings of the Logic, Language, Information, and Computation, 2025

Paraconsistent Constructive Modal Logic.
[BibTeX]
[DOI]
Han Gao
,
Daniil Kozhemiachenko
,
Nicola Olivetti
Proceedings of the Logic, Language, Information, and Computation, 2025

2024
A Proof Calculus for Ethical Reasoning.
[BibTeX]
[DOI]
Han Gao
,
Emiliano Lorini
,
Nicola Olivetti
,
Matteo Tesi
Proceedings of the PRIMA 2024: Principles and Practice of Multi-Agent Systems, 2024

Local Intuitionistic Modal Logics and Their Calculi.
[BibTeX]
[DOI]
Philippe Balbiani
,
Han Gao
,
Çigdem Gencer
,
Nicola Olivetti
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus.
[BibTeX]
[DOI]
Philippe Balbiani
,
Han Gao
,
Çigdem Gencer
,
Nicola Olivetti
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024


  Loading...