Tim S. Lyon

Identifiers

• name variant Tim S. Lyon 0.60 · backfill

Papers (4)

1. Optimizing Proof-Search via Linearization for G\"odel-L\"ob Logic with Tree-Hypersequents cs.LO · 2026 · author #1
2. Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents cs.LO · 2026 · author #1
3. Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules cs.LO · 2026 · author #1
4. Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability cs.LO · 2025 · author #1

Mentions

• 2606.03484 #1 · arxiv_oai · confidence 0.70 Tim S. Lyon
• 2606.03413 #1 · arxiv_oai · confidence 0.70 Tim S. Lyon

Frequent Coauthors

• Eugenio Orlandelli 1 shared papers
• Lukas Zenger 1 shared papers
• Omar Taher 1 shared papers