Ian Shillito

According to our database, Ian Shillito authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mechanised uniform interpolation for modal logics K, GL and iSL.

Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito

CoRR, 2024

A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.

Ian Shillito, Dominik Kirst

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.

Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Direct elimination of additive-cuts in GL4ip: verified and extracted.

Ian Shillito, Rajeev Goré

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq.

Rajeev Goré, Revantha Ramanayake, Ian Shillito

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

A multi-labelled sequent calculus for Topo-Logic.

Ian Shillito

J. Log. Comput., 2020

Bi-Intuitionistic Logics: A New Instance of an Old Problem.

Rajeev Goré, Ian Shillito

Proceedings of the 13th Conference on Advances in Modal Logic, 2020