Lyon, Tim, Shillito, Ian and Tiu, Alwen. (2025). "Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents" Computer Science Logic 2025.
Kirst, Dominik and Shillito, Ian. (2025). "Completeness of First-Order Bi-Intuitionistic Logic" Computer Science Logic 2025.
de Groot, Jim and Shillito, Ian. (2024). "Intuitionistic S4 as a logic of topological spaces" Journal of Logic and Computation.
Férée, Hugo, van der Giessen, Iris, van Gool, Sam and Shillito, Ian. (2024). "Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL" IJCAR 2024.
Shillito, Ian and Dominik Kirst. (2024). "A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic" CPP 2024.
Shillito, Ian, van der Giessen, Iris, Goré, Rajeev and Iemhoff, Rosalie. (2023). "A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised" TABLEAUX 2023.
Shillito, Ian. (2023). "New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq" PhD thesis, Australian National University.
Goré, Rajeev and Shillito, Ian. (2022). "Direct elimination of additive-cuts in GL4ip: verified and extracted" Advances in Modal Logic 2022.
Goré, Rajeev, Ramanayake, Revantha and Shillito, Ian. (2022). "Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq" TABLEAUX 2021.
Goré, Rajeev and Shillito, Ian. (2020). "Bi-Intuitionistic Logics: A New Instance of an Old Problem." Advances in Modal Logic 2020.
Shillito, Ian. (2020). "A multi-labelled sequent calculus for Topo-Logic." Journal of Logic and Computation. 30 (2).
Clouston, Ranald and Shillito, Ian. (2020). "Bi-Intuitionistic Types via Alternating Contexts" TYPES 2020.
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA, USA
Talk at London School of Testing, London, UK
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley, CA, USA
Talk at UC San Francisco, Department of Testing, San Francisco, CA, USA