Ian Shillito

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Sequent Calculus

Intuitionistic Logic

Top Venues

J. Log. Comput.

Publications

Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. IJCAR (2) (2024)
Tim S. Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. CoRR (2024)
Ian Shillito, Dominik Kirst
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic. CPP (2024)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised uniform interpolation for modal logics K, GL and iSL. CoRR (2024)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR (2023)
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX (2023)
Ian Shillito, Rajeev Goré
Direct elimination of additive-cuts in GL4ip: verified and extracted. AiML (2022)
Rajeev Goré, Revantha Ramanayake, Ian Shillito
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq. TABLEAUX (2021)
Ian Shillito
A multi-labelled sequent calculus for Topo-Logic. J. Log. Comput. 30 (2) (2020)
Rajeev Goré, Ian Shillito
Bi-Intuitionistic Logics: A New Instance of an Old Problem. AiML (2020)