Ian Shillito
Orcid: 0009-0009-1529-2679
According to our database1,
Ian Shillito
authored at least 10 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
4
1
1
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.
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.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
2022
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.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
2020
Proceedings of the 13th Conference on Advances in Modal Logic, 2020