高橋 天洋
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 の枠組みを用いながら研究してきました。最近は算術と圏論的論理学にも関心があります。
学術論文
- Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration. Journal of Logic and Computation, 2026. (arXiv)
- Decidability of Being a Union-splitting. The Journal of Symbolic Logic, 2026. (arXiv)
- The Cardinalities of Intervals of Equational Theories and Logics (with Juan P. Aguilera and Nick Bezhanishvili), 2026. Submitted. (arXiv)
- Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction, 2025. Submitted. (arXiv)
学会論文
- Most Properties are Undecidable for Transitive Tense Logics (with Qian Chen). Proceedings Sixteenth International Conference on Advances in Modal Logic, to appear.
- The Rule Dichotomy Property via Stable Canonical Rules, 2026. Submitted.
講演
- 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.