| 2025 | TABLEAUX | Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. | Tadeusz Litak, Katsuhiko Sano |
| 2022 | AiML | Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. | Hiroakira Ono, Katsuhiko Sano |
| 2020 | AiML | Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. | Katsuhiko Sano |
| 2017 | ICAART | Valuing Others' Opinions: Preference, Belief and Reliability Dynamics. | Sujata Ghosh, Katsuhiko Sano |
| 2016 | LFCS | A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. | Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano |
| 2016 | WoLLIC | Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. | Katsuhiko Sano, Jonni Virtema |
| 2015 | CSL | Axiomatizing Propositional Dependence Logics. | Katsuhiko Sano, Jonni Virtema |
| 2015 | ICAART | Linear Algebraic Semantics for Multi-agent Communication. | Ryo Hatano, Katsuhiko Sano, Satoshi Tojo |
| 2015 | LPAR | A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. | Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo |
| 2015 | WoLLIC | Characterizing Frame Definability in Team Semantics via the Universal Modality. | Katsuhiko Sano, Jonni Virtema |
| 2014 | AiML | The Expressive Power of Modal Dependence Logic. | Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema |
| 2012 | ICALP | Coalgebraic Predicate Logic. | Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schrder |
| 2011 | CALCO | Generalized Product of Coalgebraic Hybrid Logics. | Katsuhiko Sano |
| 2010 | AiML | Goldblatt-Thomason-style Theorems for Graded Modal Language. | Katsuhiko Sano, Minghui Ma |
| 2009 | WoLLIC | Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. | Katsuhiko Sano |