Ian Shillito

18 papers A* 1B 7Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason.
CoRR
Jim de Groot, Ian Shillito, Ranald Clouston
2026 J jnl
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM.
CoRR
Hugo Férée, Ian Shillito
2026 J jnl
Uniform interpolation with constructive diamond.
CoRR
Iris van der Giessen, Ian Shillito
2025 B conf
Completeness of First-Order Bi-Intuitionistic Logic.
CSL
Dominik Kirst, Ian Shillito
2025 J jnl
Intuitionistic S4 as a logic of topological spaces.
J. Log. Comput.
Jim de Groot, Ian Shillito
2025 A* conf
Semantical Analysis of Intuitionistic Modal Logics between CK and IK.
LICS
Jim de Groot, Ian Shillito, Ranald Clouston
2025 B conf
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.
CSL
Tim S. Lyon, Ian Shillito, Alwen Tiu
2024 B conf
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.
CPP
Ian Shillito, Dominik Kirst
2024 — conf
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL.
IJCAR (2)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
2024 J jnl
Mechanised uniform interpolation for modal logics K, GL and iSL.
CoRR
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
2024 J jnl
Semantical Analysis of Intuitionistic Modal Logics between CK and IK.
CoRR
Jim de Groot, Ian Shillito, Ranald Clouston
2024 J jnl
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.
CoRR
Tim S. Lyon, Ian Shillito, Alwen Tiu
2023 B conf
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.
TABLEAUX
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
2023 J jnl
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised.
CoRR
Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
2022 B conf
Direct elimination of additive-cuts in GL4ip: verified and extracted.
AiML
Ian Shillito, Rajeev Goré
2021 B conf
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq.
TABLEAUX
Rajeev Goré, Revantha Ramanayake, Ian Shillito
2020 J jnl
A multi-labelled sequent calculus for Topo-Logic.
J. Log. Comput.
Ian Shillito
2020 B conf
Bi-Intuitionistic Logics: A New Instance of an Old Problem.
AiML
Rajeev Goré, Ian Shillito