Graham E. Leigh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Intuitionistic Master Modality. | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2024 | WoLLIC | A Compositional Theory of Krivine's Classical Realisability. | Daichi Hayashi, Graham E. Leigh |
| 2023 | CSL | A Cyclic Proof System for Full Computation Tree Logic. | Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata |
| 2023 | TABLEAUX | Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2021 | TABLEAUX | Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. | Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata |
| 2019 | WoLLIC | An Infinitary Treatment of Full Mu-Calculus. | Bahareh Afshari, Gerhard Jger, Graham E. Leigh |
| 2017 | LICS | Cut-free completeness for modal mu-calculus. | Bahareh Afshari, Graham E. Leigh |
| 2013 | CSL | On closure ordinals for the modal mu-calculus. | Bahareh Afshari, Graham E. Leigh |