Qian Chen (The Tsinghua-UvA JRC for Logic

Identifiers

• name variant Qian Chen (The Tsinghua-UvA JRC for Logic 0.60 · backfill

Papers (1)

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

Mentions

• 2606.31863 #1 · arxiv_oai · confidence 0.70 Qian Chen (The Tsinghua-UvA JRC for Logic

Frequent Coauthors

• Computation 1 shared papers
• Department of Philosophy 1 shared papers
• Language 1 shared papers
• Tenyo Takahashi (Institute for Logic 1 shared papers
• Tsinghua University) 1 shared papers
• University of Amsterdam) 1 shared papers