A Hybridization of Irreflexive Modal Logics. - Katsuhiko Sano (HyLo@FLoC, 2006)

Semantical Characterizations for Irreflexive and Generalized Modal Languages. - Katsuhiko Sano; Kentaro Sato (Notre Dame J. Formal Log., 2007)

Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. - Katsuhiko Sano (WoLLIC, 2009)

Hybrid Counterfactual Logics. - Katsuhiko Sano (J. Log. Lang. Inf., 2009)

Goldblatt-Thomason-style Theorems for Graded Modal Language. - Katsuhiko Sano; Minghui Ma (Advances in Modal Logic, 2010)

Axiomatizing Hybrid Products of Monotone Neighborhood Frames. - Katsuhiko Sano (HyLo@LICS, 2010)

Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? - Katsuhiko Sano (J. Appl. Log., 2010)

Generalized Product of Coalgebraic Hybrid Logics. - Katsuhiko Sano (CALCO, 2011)

First-Order Inquisitive Pair Logic. - Katsuhiko Sano (ICLA, 2011)

An Intuitionistic Investigation of Prerequisite-Effect Structure. - Katsuhiko Sano; Shingo Hagiwara; Satoshi Tojo (JSAI-isAI Workshops, 2011)

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano (TbiLLC, 2011)

Coalgebraic Predicate Logic. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano; Lutz Schröder (ICALP (2), 2012)

Dynamic Epistemic Logic for Channel-Based Agent Communication. - Katsuhiko Sano; Satoshi Tojo (ICLA, 2013)

Belief Re-Revision in Chivalry Case. - Pimolluck Jirakunkanok; Shinya Hirose; Katsuhiko Sano; Satoshi Tojo (JSAI-isAI Workshops, 2013)

How to Update Neighborhood Models. - Minghui Ma; Katsuhiko Sano (LORI, 2013)

Alternative Semantics for Visser's Propositional Logics. - Katsuhiko Sano; Minghui Ma (TbiLLC, 2013)

The Expressive Power of Modal Dependence Logic. - Lauri Hella; Kerkko Luosto; Katsuhiko Sano; Jonni Virtema (Advances in Modal Logic, 2014)

Analyzing Reliability Change in Legal Case. - Pimolluck Jirakunkanok; Katsuhiko Sano; Satoshi Tojo (JSAI-isAI Workshops, 2014)

An expansion of first-order Belnap-Dunn logic. - Katsuhiko Sano; Hitoshi Omori (Log. J. IGPL, 2014)

Axiomatizing Propositional Dependence Logics. - Katsuhiko Sano; Jonni Virtema (CSL, 2015)

Linear Algebraic Semantics for Multi-agent Communication. - Ryo Hatano; Katsuhiko Sano; Satoshi Tojo (ICAART (1), 2015)

Tableaux for Non-normal Public Announcement Logic. - Minghui Ma; Katsuhiko Sano; François Schwarzentruber; Fernando R. Velázquez-Quesada (ICLA, 2015)

Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case. - Pimolluck Jirakunkanok; Katsuhiko Sano; Satoshi Tojo (KSE, 2015)

Dynamic Logic for Multi-agent (Mis) Communication. - Katsuhiko Sano; Satoshi Tojo (KSE, 2015)

A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. - Shoshin Nomura; Katsuhiko Sano; Satoshi Tojo (LPAR, 2015)

Characterizing Frame Definability in Team Semantics via the Universal Modality. - Katsuhiko Sano; Jonni Virtema (WoLLIC, 2015)

Generalizing Functional Completeness in Belnap-Dunn Logic. - Hitoshi Omori; Katsuhiko Sano (Stud Logica, 2015)

Modeling Predictability of Agent in Legal Cases. - Tetsuji Goto; Katsuhiko Sano; Satoshi Tojo (ICA, 2016)

Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. - Katsuhiko Sano; Jonni Virtema (WoLLIC, 2016)

Valuing Others' Opinions: Preference, Belief and Reliability Dynamics. - Sujata Ghosh; Katsuhiko Sano (ICAART (2), 2017)

Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. - Katsuhiko Sano (LORI, 2017)

Model Theory and Proof Theory of CPL. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano; Lutz Schröder (CoRR, 2017)

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. - Katsuhiko Sano; John G. Stell (M4M@ICLA, 2017)

Teaching Modal Logic from the Linear Algebraic Viewpoint. - Ryo Hatano; Katsuhiko Sano; Satoshi Tojo (FLAP, 2017)

Axiomatizing Discrete Spatial Relations. - Giulia Sindoni; Katsuhiko Sano; John G. Stell (RAMiCS, 2018)

Dynamic epistemic logic of belief change in legal judgments. - Pimolluck Jirakunkanok; Katsuhiko Sano; Satoshi Tojo (Artif. Intell. Law, 2018)

Model Theory and Proof Theory of Coalgebraic Predicate Logic. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano; Lutz Schröder (Log. Methods Comput. Sci., 2018)

How to update neighbourhood models. - Minghui Ma; Katsuhiko Sano (J. Log. Comput., 2018)

Sequent Calculi for Normal Update Logics. - Katsuhiko Sano; Minghui Ma (ICLA, 2019)

Term-Sequence-Modal Logics. - Takahiro Sawasaki; Katsuhiko Sano; Tomoyuki Yamada (LORI, 2019)

First-Order Intuitionistic Epistemic Logic. - Youan Su; Katsuhiko Sano (LORI, 2019)

Characterising modal definability of team-based logics via the universal modality. - Katsuhiko Sano; Jonni Virtema (Ann. Pure Appl. Log., 2019)

Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. - Katsuhiko Sano (AiML, 2020)

Constructive Dynamic Logic of Relation Changers. - Ryo Hatano; Katsuhiko Sano (DaLí, 2020)

Craig Interpolation of Epistemic Logics with Distributed Knowledge. - Ryo Murai; Katsuhiko Sano (FoIKS, 2020)

A cut-free labelled sequent calculus for dynamic epistemic logic. - Shoshin Nomura; Hiroakira Ono; Katsuhiko Sano (J. Log. Comput., 2020)

Term-Sequence-Dyadic Deontic Logic. - Takahiro Sawasaki; Katsuhiko Sano (DEON, 2021)

On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. - Youan Su; Ryo Murai; Katsuhiko Sano (LORI, 2021)

Expressing discrete spatial relations under granularity. - Giulia Sindoni; Katsuhiko Sano; John G. Stell (J. Log. Algebraic Methods Program., 2021)

Frame definability, canonicity and cut elimination in common sense modal predicate logics. - Takahiro Sawasaki; Katsuhiko Sano (J. Log. Comput., 2021)

Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. - Ryo Hatano; Katsuhiko Sano (Stud Logica, 2021)

Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. - Hiroakira Ono; Katsuhiko Sano (AiML, 2022)

Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. - Katsuhiko Sano; Tomoyuki Yamada (TLLM, 2022)

Combining First-Order Classical and Intuitionistic Logic. - Masanobu Toyooka; Katsuhiko Sano (NCL, 2022)

Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. - Masanobu Toyooka; Katsuhiko Sano (CoRR, 2022)

Intuitionistic Epistemic Logic with Distributed Knowledge. - Ryo Murai; Katsuhiko Sano (Computación y Sistemas, 2022)

Rely more or less, for better or for worse: Intertwining reliability and preferences. - Sujata Ghosh; Katsuhiko Sano (J. Log. Comput., 2022)

Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics. - Takahiro Sawasaki; Katsuhiko Sano (J. Log. Comput., 2022)

Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5. - Sizhuo Liu; Katsuhiko Sano (LORI, 2023)

Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. - Ryo Hatano; Katsuhiko Sano (J. Log. Comput., 2023)

A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. - Youan Su; Katsuhiko Sano (Stud Logica, 2023)

Intuitionistic Public Announcement Logic with Distributed Knowledge. - Ryo Murai; Katsuhiko Sano (Stud Logica, 2024)

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. - Masanobu Toyooka; Katsuhiko Sano (Stud Logica, 2024)

Craig Interpolation for Awareness Logics. - Kosuke Udatsu; Katsuhiko Sano (ICLA, 2025)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. - Tadeusz Litak; Katsuhiko Sano (CoRR, 2025)