Scholar
Han Gao
Google Scholar ID: O8AfiH0AAAAJ
Institute of Computer Science of the Czech Academy of Sciences
non-classical logic
proof theory
modal logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
21
H-index
2
i10-index
1
Publications
7
Co-authors
5
list available
Publications
1 items
Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus
2026
Cited
0
Co-authors
4 total
Philippe Balbiani
Institut de recherche en informatique de Toulouse
Marianna Girlando
ILLC, University of Amsterdam
Daniil Kozhemiachenko
Laboratoire d’Informatique et des Systèmes
Emiliano Lorini
CNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)
