C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ian Shillito
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 8
Top Topics
Wide Class
Theorem Prover
Sequent Calculus
Inference Rules
Top Venues
CoRR
TABLEAUX
AiML
J. Log. Comput.
</>
Publications
</>
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)