Tim S. Lyon

Identifiers

No identifiers captured yet.

Papers (2)

1. Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules cs.LO · 2026 · author #1
2. Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability cs.LO · 2025 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Eugenio Orlandelli 1 shared papers