Ian Shillito

According to our database, Ian Shillito authored at least 11 papers between 2020 and 2025.

Collaborative distances:

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

2025

Intuitionistic S4 as a logic of topological spaces.

Jim de Groot, Ian Shillito

J. Log. Comput., 2025

Semantical Analysis of Intuitionistic Modal Logics between CK and IK.

Jim de Groot, Ian Shillito, Ranald Clouston

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.

Tim S. Lyon, Ian Shillito, Alwen Tiu

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

Completeness of First-Order Bi-Intuitionistic Logic.

Dominik Kirst, Ian Shillito

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL.

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

Proceedings of the Automated Reasoning - 12th International Joint Conference, 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