Katsuhiko Sano
Hokkaido University
H-index: 13
Asia-Japan
Top articles of Katsuhiko Sano
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation | Studia Logica | Masanobu Toyooka Katsuhiko Sano | 2024/1/6 |
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers | Journal of Logic and Computation | Ryo Hatano Katsuhiko Sano | 2023/9 |
A first-order expansion of Artemov and Protopopescu’s intuitionistic epistemic logic | Studia Logica | Youan Su Katsuhiko Sano | 2023/8 |
Non-labelled Sequent Calculi of Public Announcement Expansions of and | Sizhuo Liu Katsuhiko Sano | 2023/10/24 | |
Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic | The Australasian Journal of Logic | Masanobu Toyooka Katsuhiko Sano | 2023/10/19 |
Intuitionistic Public Announcement Logic with Distributed Knowledge | Studia Logica | Ryo Murai Katsuhiko Sano | 2023/9/15 |
Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic | Katsuhiko Sano Tomoyuki Yamada | 2022/4/1 | |
Rely more or less, for better or for worse: Intertwining reliability and preferences | Journal of Logic and Computation | Sujata Ghosh Katsuhiko Sano | 2022/4 |
Analytic Cut and Mints-Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. | Hiroakira Ono Katsuhiko Sano | 2022 | |
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic | arXiv preprint arXiv:2207.07416 | Masanobu Toyooka Katsuhiko Sano | 2022/7 |
Dynamic Logic of Relation Changers Meets Brouwer | Proceedings of SOCREAL2022 6th International Workshop on Philosophy and Logic of Social Reality | Ryo Hatano Katsuhiko Sano | 2022 |
Intuitionistic epistemic logic with distributed knowledge | Computación y Sistemas | Ryo Murai Katsuhiko Sano | 2022/6 |
Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic | Masanobu Toyooka Katsuhiko Sano | 2022 | |
Combining First-Order Classical and Intuitionistic Logic | arXiv preprint arXiv:2204.06723 | Masanobu Toyooka Katsuhiko Sano | 2022/4/14 |
Frame definability, canonicity and cut elimination in common sense modal predicate logics | Journal of Logic and Computation | Takahiro Sawasaki Katsuhiko Sano | 2021/12 |
Expressing discrete spatial relations under granularity | Journal of Logical and Algebraic Methods in Programming | Giulia Sindoni Katsuhiko Sano John G Stell | 2021/8/1 |
Analytic Multi-Succedent Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic | ICLA 2021 Proceedings | Masanobu Toyooka Katsuhiko Sano | 2021/3/4 |
Recapturing dynamic logic of relation changers via bounded morphisms | Studia Logica | Ryo Hatano Katsuhiko Sano | 2021/2 |
On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge | Youan Su Ryo Murai Katsuhiko Sano | 2021 | |
Modal Logic and Planarity of Graphs | Izumi Takeuti Katsuhiko Sano | 2020 |