Katsuhiko Sano

According to our database, Katsuhiko Sano authored at least 63 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.

Masanobu Toyooka, Katsuhiko Sano

Stud Logica, October, 2024

Intuitionistic Public Announcement Logic with Distributed Knowledge.

Ryo Murai, Katsuhiko Sano

Stud Logica, June, 2024

2023

A First-Order Expansion of Artemov and Protopopescu's Intuitionistic Epistemic Logic.

Youan Su, Katsuhiko Sano

Stud Logica, August, 2023

Three faces of recursion axioms: the case of constructive dynamic logic of relation changers.

Ryo Hatano, Katsuhiko Sano

J. Log. Comput., August, 2023

Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5.

Sizhuo Liu, Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022

Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics.

Takahiro Sawasaki, Katsuhiko Sano

J. Log. Comput., 2022

Rely more or less, for better or for worse: Intertwining reliability and preferences.

Sujata Ghosh, Katsuhiko Sano

J. Log. Comput., 2022

Intuitionistic Epistemic Logic with Distributed Knowledge.

Ryo Murai, Katsuhiko Sano

Computación y Sistemas, 2022

Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.

Masanobu Toyooka, Katsuhiko Sano

CoRR, 2022

Combining First-Order Classical and Intuitionistic Logic.

Masanobu Toyooka, Katsuhiko Sano

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic.

Katsuhiko Sano, Tomoyuki Yamada

Proceedings of the Dynamics in Logic and Language, 2022

Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic.

Hiroakira Ono, Katsuhiko Sano

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.

Ryo Hatano, Katsuhiko Sano

Stud Logica, 2021

Frame definability, canonicity and cut elimination in common sense modal predicate logics.

Takahiro Sawasaki, Katsuhiko Sano

J. Log. Comput., 2021

Expressing discrete spatial relations under granularity.

Giulia Sindoni, Katsuhiko Sano, John G. Stell

J. Log. Algebraic Methods Program., 2021

On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.

Youan Su, Ryo Murai, Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Term-Sequence-Dyadic Deontic Logic.

Takahiro Sawasaki, Katsuhiko Sano

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

A cut-free labelled sequent calculus for dynamic epistemic logic.

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

J. Log. Comput., 2020

Craig Interpolation of Epistemic Logics with Distributed Knowledge.

Ryo Murai, Katsuhiko Sano

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Constructive Dynamic Logic of Relation Changers.

Ryo Hatano, Katsuhiko Sano

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic.

Katsuhiko Sano

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Characterising modal definability of team-based logics via the universal modality.

Katsuhiko Sano, Jonni Virtema

Ann. Pure Appl. Log., 2019

First-Order Intuitionistic Epistemic Logic.

Youan Su, Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Term-Sequence-Modal Logics.

Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Sequent Calculi for Normal Update Logics.

Katsuhiko Sano, Minghui Ma

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

How to update neighbourhood models.

Minghui Ma, Katsuhiko Sano

J. Log. Comput., 2018

Model Theory and Proof Theory of Coalgebraic Predicate Logic.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

Log. Methods Comput. Sci., 2018

Dynamic epistemic logic of belief change in legal judgments.

Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo

Artif. Intell. Law, 2018

Axiomatizing Discrete Spatial Relations.

Giulia Sindoni, Katsuhiko Sano, John G. Stell

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Teaching Modal Logic from the Linear Algebraic Viewpoint.

Ryo Hatano, Katsuhiko Sano, Satoshi Tojo

FLAP, 2017

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics.

Katsuhiko Sano, John G. Stell

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Model Theory and Proof Theory of CPL.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

CoRR, 2017

Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus.

Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Valuing Others' Opinions: Preference, Belief and Reliability Dynamics.

Sujata Ghosh, Katsuhiko Sano

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016

Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.

Katsuhiko Sano, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2016

Modeling Predictability of Agent in Legal Cases.

Tetsuji Goto, Katsuhiko Sano, Satoshi Tojo

Proceedings of the IEEE International Conference on Agents, 2016

2015

Generalizing Functional Completeness in Belnap-Dunn Logic.

Hitoshi Omori, Katsuhiko Sano

Stud Logica, 2015

Characterizing Frame Definability in Team Semantics via the Universal Modality.

Katsuhiko Sano, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2015

A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.

Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Dynamic Logic for Multi-agent (Mis) Communication.

Katsuhiko Sano, Satoshi Tojo

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case.

Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

Tableaux for Non-normal Public Announcement Logic.

Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

Linear Algebraic Semantics for Multi-agent Communication.

Ryo Hatano, Katsuhiko Sano, Satoshi Tojo

Proceedings of the ICAART 2015, 2015

Axiomatizing Propositional Dependence Logics.

Katsuhiko Sano, Jonni Virtema

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

An expansion of first-order Belnap-Dunn logic.

Katsuhiko Sano, Hitoshi Omori

Log. J. IGPL, 2014

Analyzing Reliability Change in Legal Case.

Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2014

The Expressive Power of Modal Dependence Logic.

Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema

Proceedings of the Advances in Modal Logic 10, 2014

2013

Alternative Semantics for Visser's Propositional Logics.

Katsuhiko Sano, Minghui Ma

Proceedings of the Logic, Language, and Computation, 2013

How to Update Neighborhood Models.

Minghui Ma, Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Belief Re-Revision in Chivalry Case.

Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2013

Dynamic Epistemic Logic for Channel-Based Agent Communication.

Katsuhiko Sano, Satoshi Tojo

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

Coalgebraic Predicate Logic.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano

Proceedings of the Logic, Language, and Computation, 2011

An Intuitionistic Investigation of Prerequisite-Effect Structure.

Katsuhiko Sano, Shingo Hagiwara, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2011

First-Order Inquisitive Pair Logic.

Katsuhiko Sano

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Generalized Product of Coalgebraic Hybrid Logics.

Katsuhiko Sano

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?

Katsuhiko Sano

J. Appl. Log., 2010

Axiomatizing Hybrid Products of Monotone Neighborhood Frames.

Katsuhiko Sano

Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010

Goldblatt-Thomason-style Theorems for Graded Modal Language.

Katsuhiko Sano, Minghui Ma

Proceedings of the Advances in Modal Logic 8, 2010

2009

Hybrid Counterfactual Logics.

Katsuhiko Sano

J. Log. Lang. Inf., 2009

Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.

Katsuhiko Sano

Proceedings of the Logic, 2009

2007

Semantical Characterizations for Irreflexive and Generalized Modal Languages.

Katsuhiko Sano, Kentaro Sato

Notre Dame J. Formal Log., 2007

2006

A Hybridization of Irreflexive Modal Logics.

Katsuhiko Sano

Proceedings of the International Workshop on Hybrid Logic, 2006