Han Gao (Institute of Computer Science

Identifiers

• name variant Han Gao (Institute of Computer Science 0.60 · backfill

Papers (1)

1. Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus cs.LO · 2026 · author #1

Mentions

• 2606.31877 #1 · arxiv_oai · confidence 0.70 Han Gao (Institute of Computer Science

Frequent Coauthors

• CNRS) 1 shared papers
• Czech Academy of Sciences) 1 shared papers
• Nicola Olivetti (Aix-Marseille University 1 shared papers