Tenyo Takahashi (Institute for Logic

Identifiers

• name variant Tenyo Takahashi (Institute for Logic 0.60 · backfill

Papers (1)

1. Most Properties are Undecidable for Transitive Tense Logics cs.LO · 2026 · author #4

Mentions

• 2606.31863 #4 · arxiv_oai · confidence 0.70 Tenyo Takahashi (Institute for Logic

Frequent Coauthors

• Computation 1 shared papers
• Department of Philosophy 1 shared papers
• Language 1 shared papers
• Qian Chen (The Tsinghua-UvA JRC for Logic 1 shared papers
• Tsinghua University) 1 shared papers
• University of Amsterdam) 1 shared papers