Katsuhiko Sano

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 37

Top Topics

Cut Elimination

Sequent Calculus

Spatial Relations

Epistemic Logic

Top Venues

J. Log. Comput.

Publications

Ryo Murai, Katsuhiko Sano
Intuitionistic Public Announcement Logic with Distributed Knowledge. Stud Logica 112 (3) (2024)
Youan Su, Katsuhiko Sano
A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic. Stud Logica 111 (4) (2023)
Sizhuo Liu, Katsuhiko Sano
Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5. LORI (2023)
Ryo Hatano, Katsuhiko Sano
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers. J. Log. Comput. 33 (6) (2023)
Masanobu Toyooka, Katsuhiko Sano
Combining First-Order Classical and Intuitionistic Logic. NCL (2022)
Katsuhiko Sano, Tomoyuki Yamada
Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. TLLM (2022)
Masanobu Toyooka, Katsuhiko Sano
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. CoRR (2022)
Hiroakira Ono, Katsuhiko Sano
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. AiML (2022)
Sujata Ghosh, Katsuhiko Sano
Rely more or less, for better or for worse: Intertwining reliability and preferences. J. Log. Comput. 32 (3) (2022)
Ryo Murai, Katsuhiko Sano
Intuitionistic Epistemic Logic with Distributed Knowledge. Computación y Sistemas 26 (2) (2022)
Takahiro Sawasaki, Katsuhiko Sano
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics. J. Log. Comput. 32 (1) (2022)
Takahiro Sawasaki, Katsuhiko Sano
Frame definability, canonicity and cut elimination in common sense modal predicate logics. J. Log. Comput. 31 (8) (2021)
Youan Su, Ryo Murai, Katsuhiko Sano
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. LORI (2021)
Takahiro Sawasaki, Katsuhiko Sano
Term-Sequence-Dyadic Deontic Logic. DEON (2021)
Ryo Hatano, Katsuhiko Sano
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. Stud Logica 109 (1) (2021)
Giulia Sindoni, Katsuhiko Sano, John G. Stell
Expressing discrete spatial relations under granularity. J. Log. Algebraic Methods Program. 122 (2021)
Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano
A cut-free labelled sequent calculus for dynamic epistemic logic. J. Log. Comput. 30 (1) (2020)
Ryo Hatano, Katsuhiko Sano
Constructive Dynamic Logic of Relation Changers. DaLí (2020)
Katsuhiko Sano
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. AiML (2020)
Ryo Murai, Katsuhiko Sano
Craig Interpolation of Epistemic Logics with Distributed Knowledge. FoIKS (2020)
Katsuhiko Sano, Minghui Ma
Sequent Calculi for Normal Update Logics. ICLA (2019)
Katsuhiko Sano, Jonni Virtema
Characterising modal definability of team-based logics via the universal modality. Ann. Pure Appl. Log. 170 (9) (2019)
Youan Su, Katsuhiko Sano
First-Order Intuitionistic Epistemic Logic. LORI (2019)
Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada
Term-Sequence-Modal Logics. LORI (2019)
Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo
Dynamic epistemic logic of belief change in legal judgments. Artif. Intell. Law 26 (3) (2018)
Minghui Ma, Katsuhiko Sano
How to update neighbourhood models. J. Log. Comput. 28 (8) (2018)
Giulia Sindoni, Katsuhiko Sano, John G. Stell
Axiomatizing Discrete Spatial Relations. RAMiCS (2018)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Model Theory and Proof Theory of Coalgebraic Predicate Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Katsuhiko Sano, John G. Stell
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. M4M@ICLA (2017)
Katsuhiko Sano
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. LORI (2017)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Model Theory and Proof Theory of CPL. CoRR (2017)
Katsuhiko Sano
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. CoRR (2017)
Ryo Hatano, Katsuhiko Sano, Satoshi Tojo
Teaching Modal Logic from the Linear Algebraic Viewpoint. FLAP 4 (1) (2017)
Sujata Ghosh, Katsuhiko Sano
Valuing Others' Opinions: Preference, Belief and Reliability Dynamics. ICAART (2) (2017)
Tetsuji Goto, Katsuhiko Sano, Satoshi Tojo
Modeling Predictability of Agent in Legal Cases. ICA (2016)
Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. LFCS (2016)
Katsuhiko Sano, Jonni Virtema
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. WoLLIC (2016)
Katsuhiko Sano, Jonni Virtema
Characterizing Frame Definability in Team Semantics via the Universal Modality. WoLLIC (2015)
Ryo Hatano, Katsuhiko Sano, Satoshi Tojo
Linear Algebraic Semantics for Multi-agent Communication. ICAART (1) (2015)
Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo
A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. LPAR (2015)
Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada
Tableaux for Non-normal Public Announcement Logic. ICLA (2015)
Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo
Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case. KSE (2015)
Katsuhiko Sano, Jonni Virtema
Characterising Modal Definability of Team-Based Logics via the Universal Modality. CoRR (2015)
Katsuhiko Sano, Jonni Virtema
Axiomatizing Propositional Dependence Logics. CSL (2015)
Hitoshi Omori, Katsuhiko Sano
Generalizing Functional Completeness in Belnap-Dunn Logic. Stud Logica 103 (5) (2015)
Katsuhiko Sano, Satoshi Tojo
Dynamic Logic for Multi-agent (Mis) Communication. KSE (2015)
Katsuhiko Sano, Hitoshi Omori
An expansion of first-order Belnap-Dunn logic. Log. J. IGPL 22 (3) (2014)
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
The Expressive Power of Modal Dependence Logic. Advances in Modal Logic (2014)
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
The Expressive Power of Modal Dependence Logic. CoRR (2014)
Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo
Analyzing Reliability Change in Legal Case. JSAI-isAI Workshops (2014)
Katsuhiko Sano, Jonni Virtema
Axiomatizing Propositional Dependence Logics. CoRR (2014)
Katsuhiko Sano, Satoshi Tojo
Dynamic Epistemic Logic for Channel-Based Agent Communication. ICLA (2013)
Katsuhiko Sano, Minghui Ma
Alternative Semantics for Visser's Propositional Logics. TbiLLC (2013)
Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, Satoshi Tojo
Belief Re-Revision in Chivalry Case. JSAI-isAI Workshops (2013)
Minghui Ma, Katsuhiko Sano
How to Update Neighborhood Models. LORI (2013)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Coalgebraic Predicate Logic. ICALP (2) (2012)
Katsuhiko Sano
Generalized Product of Coalgebraic Hybrid Logics. CALCO (2011)
Katsuhiko Sano
First-Order Inquisitive Pair Logic. ICLA (2011)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. TbiLLC (2011)
Katsuhiko Sano
Axiomatizing Hybrid Products of Monotone Neighborhood Frames. Electron. Notes Theor. Comput. Sci. 273 (2011)
Katsuhiko Sano, Shingo Hagiwara, Satoshi Tojo
An Intuitionistic Investigation of Prerequisite-Effect Structure. JSAI-isAI Workshops (2011)
Katsuhiko Sano, Minghui Ma
Goldblatt-Thomason-style Theorems for Graded Modal Language. Advances in Modal Logic (2010)
Katsuhiko Sano
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? J. Appl. Log. 8 (4) (2010)
Katsuhiko Sano
Hybrid Counterfactual Logics. J. Log. Lang. Inf. 18 (4) (2009)
Katsuhiko Sano
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. WoLLIC (2009)
Katsuhiko Sano, Kentaro Sato
Semantical Characterizations for Irreflexive and Generalized Modal Languages. Notre Dame J. Formal Log. 48 (2) (2007)
Katsuhiko Sano
A Hybridization of Irreflexive Modal Logics. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)