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
- The Cardinalities of Intervals of Equational Theories and Logics (with Juan P. Aguilera and Nick Bezhanishvili), 2026. Submitted. (arXiv)
- 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 Papers
- Most Properties are Undecidable for Transitive Tense Logics (with Qian Chen), 2026. Submitted.
- 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 (with Juan P. Aguilera and Nick Bezhanishvili). Logic, Algebra and Truth Degrees (LATD), July 2025.