Ian Shillito

Identifiers

• name variant Ian Shillito 0.60 · backfill

Papers (3)

1. Uniform interpolation with constructive diamond cs.LO · 2026 · author #2
2. Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM cs.LO · 2026 · author #2
3. Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason math.LO · 2026 · author #2

Mentions

• 2602.16880 #2 · arxiv_oai · confidence 0.70 Ian Shillito
• 2602.16445 #2 · arxiv_oai · confidence 0.70 Ian Shillito

Frequent Coauthors

• Hugo F\'er\'ee 1 shared papers
• Iris van der Giessen 1 shared papers
• Jim de Groot 1 shared papers
• Ranald Clouston 1 shared papers