高橋 天洋
https://orcid.org/0009-0003-8147-7045
researchmap
メール: t.takahashi (at) uva.nl
アムステルダム大学の Institute for Logic, Language and Computation (ILLC) の博士課程に所属しており、指導教員は Nick Bezhanishvili です。主に様相論理、直観主義論理、algebraic logic、duality theory に興味があります。正規様相論理がなす束において、論理的性質（たとえばクリプキ完全性、有限モデル性、決定可能性など）を、しばしば stable canonical rules/formulas の枠組みを用いながら研究してきました。最近は算術と圏論的論理学にも関心があります。
学術論文
- Tenyo Takahashi. Non-elementary modal logics, assuming P $\neq$ NP, 2026. Preprint. (arXiv)
- Qian Chen and Tenyo Takahashi. Most properties are undecidable even in $\mathop{\mathsf{NExt}} \mathsf{Grz}_t$, 2026. Submitted. (arXiv)
- Juan P. Aguilera, Nick Bezhanishvili, and Tenyo Takahashi. The cardinalities of intervals of equational theories and logics. The Review of Symbolic Logic, 2026. (arXiv)
- Tenyo Takahashi. Stable canonical rules and formulas for pre-transitive logics via definable filtration. Journal of Logic and Computation, 36(4):exag023, 2026. (arXiv)
- Tenyo Takahashi. Decidability of being a union-splitting. The Journal of Symbolic Logic, 2026. (arXiv)
- Tenyo Takahashi. Chopping more finely: finite countermodels in modal logic via the subdivision construction, 2025. Submitted. (arXiv)
学会論文
- Qian Chen and Tenyo Takahashi. Most properties are undecidable for transitive tense logics. Proceedings of the Sixteenth International Conference on Advances in Modal Logic (AiML 2026), pp. 189–202, 2026.
- Tenyo Takahashi. The rule dichotomy property via stable canonical rules, 2026. Submitted.
発表・講演
- Being a union-splitting is decidable in modal logic. Topology, Algebra, and Categories in Logic (TACL), July 2026.
- Most properties are undecidable for transitive tense logics. Advances in Modal Logic (AiML), July 2026.
- Union-splittings: a global view on the lattice of normal modal logics. Lectures on Logic and its Mathematical Aspects (LLAMA), March 2026.
- The rule dichotomy property via stable canonical rules. International Tbilisi Symposium on Logic, Language and Computation (TbiLLC), September 2025.
- The cardinality of intervals of modal and superintuitionistic logics. Logic, Algebra and Truth Degrees (LATD), July 2025.