Ian Shillito

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

Collaborative distances:

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

2024

Semantical Analysis of Intuitionistic Modal Logics between CK and IK.

Jim de Groot, Ian Shillito, Ranald Clouston

CoRR, 2024

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

Tim S. Lyon, Ian Shillito, Alwen Tiu

CoRR, 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