Tenyo Takahashi
https://orcid.org/0009-0003-8147-7045
Email: t.takahashi (at) uva.nl
I'm a PhD student at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam. My supervisor is Nick Bezhanishvili. My main interests include modal logic, intuitionistic logic, algebraic logic, and duality theory. I have been studying logical properties (e.g., Kripke completeness, the finite model property, decidability, etc.) in the lattice of normal modal logics, often with the framework of stable canonical rules/formulas. Recently, I have also developed an interest in arithmetics and categorical logic.
Journal Articles
- 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)
Conference Papers
- 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.
Talks
- 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.