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. Recently, I have also developed an interest in arithmetics and categorical logic.
Journal Articles
- Decidability of Being a Union-splitting. The Journal of Symbolic Logic, 2026. (arXiv)
- Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction, 2025. Submitted. (arXiv)
- Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration, 2025. Submitted. (arXiv)
Conference Proceedings
Talks
- 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 (with Juan P. Aguilera and Nick Bezhanishvili). Logic, Algebra and Truth Degrees (LATD), July 2025.