Lukas Zenger

Identifiers

• name variant Lukas Zenger 0.60 · backfill

Papers (2)

1. Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents cs.LO · 2026 · author #2
2. Intuitionistic Common Knowledge math.LO · 2026 · author #1

Mentions

• 2606.03413 #2 · arxiv_oai · confidence 0.70 Lukas Zenger

Frequent Coauthors

• Tim S. Lyon 1 shared papers