Katsuhiko Sano

73 papers B 8C 4Misc 1Journal 30Unranked 30

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