Presentations

Invited Talks in Conferences

1. ``Augmented intuitionistic logic for non-monotonic reasoning.'' APPSA-LMPST Taiwan 2025. 19th Jun, 2025 (Taipei, Taiwan).

Invited Talks in Workshop & Seminars

1. ``12 expressibility of logical connectives.'' LLAL@GSIS (VI). 4th Mar, 2025 (Sendai, Japan).

2. ``Humberstone's logic as an extension of minimal logic.'' A Kyoto-Taipei Workshop on Logic of Agent. 2nd Mar, 2025 (Kyoto, Japan).

3. ``Gentzenization of Wansing's expansions of Nelson' logics.'' LLAL@GSIS (V). 24th Feb, 2025 (Sendai, Japan).

4. ``Twelve benchmarks of moderate inferentialism for logical connectives'' (in Japanese). Hitotsubashi University Seminar in Philosophy and Social Thought. 25th Jan, 2025 (Tokyo, Japan).

5. ``Routley star for empirical negation" (in Japanese). LLAL@GSIS (IV). 21th Sep, 2024 (Sendai, Japan).

6. ``A collapsing problem of combining intuitionistic and classical logic and a way of avoiding the problem in sequent calculus'' (with Katsuhiko Sano, in Japanese). Workshop on the Occasion of the UNESCO World Logic Day. 14th Jan, 2023 (Tokyo, Japan).

7. ``Adding empirical negation into intermediate predicate logic CD.'' A Closed Workshop on Empirical Negation. 26th Nov, 2022 (Bochum, Germany).  

Conferences

1. ``Strong completeness of constant domain expansion of Restall's subintuitionistic logic'' (with Katsuhiko Sano).  The 6th Taiwan Philosophical Logic Colloquium (TPLC-VI). 25th Oct, 2025. (Taipei, Taiwan).

2. ``Craig interpolation for logics of negative modality via cut-free sequent calculus'' (with Katsuhiko Sano). 15th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2025). 9th Sep, 2025 (Kutaisi, Georgia).

3. ``Humberstone's Ω in Curry's logic D.'' The Inaugural Symposium on Logic in the Arab World. 19th Feb, 2025 (Online).

4. ``Star semantics for empirical negation.'' The Australasian Association for Logic Conference 2024. 27th Nov, 2024 (Sydney, Australia). uploaded recording  

5. ``Cut-free sequent calculus for Wansing's expansion of Nelson's logic'' (as the second author, with Katsuhiko Sano). AWPL2024: 6th Asian Workshop on Philosophical Logic. 5th Mar, 2024 (Sapporo, Japan). 

6. ``Neighborhood semantics for weak subintuitionistic logics with the base state'' (in Japanese). The 56th Annual Meeting of Philosophy of Science Society, Japan. 3rd Dec, 2023 (Tsukuba, Japan). 

7. ``Generalizing Restall’s subintuitionistic logics over neighborhood semantics.'' The Australasian Association for Logic Conference 2023. 10th Nov, 2023 (Brisbane, Australia).

8. ``A proof-theoretic analysis of the meaning of a formula in the combination of intuitionistic and classical propositional logic C+J'' (in Japanese). The 55th Annual Meeting of Philosophy of Science Society, Japan. 3rd Dec, 2022 (Nagoya, Japan).

9. ``A proof-theoretic analysis of meaning of a formula in a combination of intuitionistic and classical propositional logic.'' Logic and Engineering of Natural Language Semantics 19 (LENLS19). 20th Nov, 2022 (Online).

10. ``A tree-sequent method for intermediate predicate logic CD expanded with empirical negation .'' 4th Workshop on Proof Theory and Its Applications. 12th Nov, 2022 (Utrecht, Netherland).

11. ``Combining first-order classical and intuitionistic logic'' (with Katsuhiko Sano). NCL'22: Non-Classical Logics. Theory and Applications 2022. 18th March, 2022 (Online).

12. ``Craig interpolation for a sequent calculus for combining intuitionistic and classical propositional logic'' (with Katsuhiko Sano). SOCREAL2022:6th International Workshop on Philosophy and Logic of Social Reality. Mar 1th, 2022 (Online).

13. ``Analytic multi-succedent sequent calculus for combining intuitionistic and classical propositional logic'' (with Katsuhiko Sano). ICLA 2021: 9th Indian Conference on Logic and its Applications. Mar 5th, 2021 (Online). 

Workshops & Seminars

1. ``Generalizing subintuitionistic logics over neighborhood semantics.'' LLAL@GSIS (IX). 28th Oct, 2025. (Sendai, Japan).

2. ``Sequent calculi and Craig interpolation for Došen's logics with negative modality.'' TF Colloquium. 8th Oct, 2025 (Utrecht, Netherlands)

3. ``How can we add classical negation to intuitionistic sequent calculus?'' LLAMA Seminar at ILLC. 7th Oct, 2025 (Amsterdam, Netherlands).

4. ``A solution to collapsing problem and an inferentialist approach to intuitionistic and classical connectives.'' LLAL@GSIS (VII). 5th Jul, 2025 (Sendai, Japan).

5. ``How should intuitionists' understanding of classical logic be codified?'' The 4th France-Japan Colloquium ``Disagreement in Logic and Reasoning'' with a Special Panel Session on Normativity and Divergences of Forms of Life. 21th Feb, 2025 (Tokyo, Japan). 

6. ``How can empirical negation be understood from the negation as incompatibility on intuitionistic propositional logic?'' (in Japanese).  Second Hokkaido University-Hitotsubashi University Joint Seminar on Philosophy and Ethics. 8th Aug, 2024 (Hokkaido, Japan).

7. ``Two approaches of adding classical negation to intuitionistic logic.'' French-Japan Colloquium: Disagreement in Logic and Reasoning. 25th Mar, 2024 (Paris, France). 

8. ``An inferentialist analysis of the concept of truth in the combination of intuitionistic and classical propositional logic C+J'' (in Japanese). First Hokkaido University-Hitotsubashi University Joint Seminar on Philosophy and Ethics. 2nd Sep, 2023 (Hokkaido, Japan).

9. ``The relationship between Humberstone's logical constant Ω and a Kripke frame for intuitionistic logic'' (with Katsuhiko Sano, in Japanese). Slacs 2023. 31th Aug, 2023 (Online).

10. ``About coexistence of intuitionistic implication and classical negation in the level of first-order logic.'' Sapporo Mini-workshop on Non-classical Logic. 24th Mar, 2023  (Hokkaido, Japan).

11. ``Coexistence of different logics focusing on the concepts of negations (short project report). '' France-Japan Workshop on ``Philosophy and Ethics of TV Drama Series'' and ``Disagreement in Logic and Reasoning''. 16th Mar, 2023 (Tokyo, Japan).

12. ``The addition of empirical negation to intermediate predicate logic CD'' (in Japanese). Ookayama Logic Seminar, Summer Intensive Seminar. 6th Sep, 2022 (Online).

13. ``Proof-theoretic research about the combined system FOC+J of intuitionistic and classical logic'' (in Japanese). Ookayama Logic Seminar. 21th Nov, 2022 (Online).