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.
Papers
- Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction, 2025. Submitted.
Preprint.
- Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration, 2025. Submitted.
Preprint.
- Decidability of Being a Union-splitting, 2025. Submitted.
Preprint.
Talks
- The Rule Dichotomy Property via Stable Canonical Rules, TbiLLC 2025, September.
- The Cardinality of Intervals of Modal and Superintuitionistic Logics (with Juan P. Aguilera and Nick Bezhanishvili), LATD 2025, July.