Skip to content
cs-conference-ranking.org

Ian Shillito

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

2020–2026

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2026IJCARPitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM.Hugo Fre, Ian Shillito
2026IJCARUniform Interpolation with Constructive Diamond.Iris van der Giessen, Ian Shillito
2025CSLCompleteness of First-Order Bi-Intuitionistic Logic.Dominik Kirst, Ian Shillito
2025CSLTaking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.Tim S. Lyon, Ian Shillito, Alwen Tiu
2025LICSSemantical Analysis of Intuitionistic Modal Logics between CK and IK.Jim de Groot, Ian Shillito, Ranald Clouston
2024CPPA Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.Ian Shillito, Dominik Kirst
2024IJCARMechanised Uniform Interpolation for Modal Logics K, GL, and iSL.Hugo Fre, Iris van der Giessen, Sam van Gool, Ian Shillito
2023TABLEAUXA New Calculus for Intuitionistic Strong Lb Logic: Strong Termination and Cut-Elimination, Formalised.Ian Shillito, Iris van der Giessen, Rajeev Gor, Rosalie Iemhoff
2022AiMLDirect elimination of additive-cuts in GL4ip: verified and extracted.Ian Shillito, Rajeev Gor
2021TABLEAUXCut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq.Rajeev Gor, Revantha Ramanayake, Ian Shillito
2020AiMLBi-Intuitionistic Logics: A New Instance of an Old Problem.Rajeev Gor, Ian Shillito