Katsuhiko Sano (Hokkaido University)
Identifiers
- name variant Katsuhiko Sano (Hokkaido University) 0.60 · backfill
Papers (2)
- Uniform Interpolation of Basic Tense Logic cs.LO · 2026 · author #1
- Analytic Cut in Epistemic Logics with Distributed Knowledge cs.MA · 2026 · author #3
Mentions
- 2606.31887 #1 · arxiv_oai · confidence 0.70 Katsuhiko Sano (Hokkaido University)
- 2606.31886 #3 · arxiv_oai · confidence 0.70 Katsuhiko Sano (Hokkaido University)
Frequent Coauthors
- Ryo Murai (Independent Researcher) 1 shared papers
- Sizhuo Liu (Hokkaido University) 1 shared papers