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
- 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)
Conference Papers
- 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.
Talks
- 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.