| Bi-Intuitionistic Logics: A New Instance of an Old Problem R Goré, I Shillito Advances in Modal Logic 13, 269-288, 2020 | 16 | 2020 |
| Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq R Goré, R Ramanayake, I Shillito Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 14 | 2021 |
| Direct elimination of additive-cuts in GL4ip: verified and extracted R Goré, I Shillito Advances in Modal Logic 14, 2022 | 4 | 2022 |
| New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq I Shillito PQDT-Global, 2022 | 4 | 2022 |
| A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised I Shillito, I van der Giessen, R Goré, R Iemhoff International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 2 | 2023 |
| A mechanised and constructive reverse analysis of soundness and completeness of bi-intuitionistic logic I Shillito, D Kirst Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | 1 | 2024 |
| Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents TS Lyon, I Shillito, A Tiu arXiv preprint arXiv:2404.15855, 2024 | | 2024 |
| Mechanised uniform interpolation for modal logics K, GL and iSL H Férée, I van der Giessen, S van Gool, I Shillito arXiv preprint arXiv:2402.10494, 2024 | | 2024 |
| A multi-labelled sequent calculus for Topo-Logic I Shillito Journal of Logic and Computation 30 (2), 663-696, 2020 | | 2020 |
| Mechanised Constructive Reverse Mathematics: Soundness and Completeness of Bi-Intuitionistic Logic I Shillito, D Kirst | | |
| Bi-Intuitionistic Types via Alternating Contexts R Clouston, I Shillito EUTYPES-TYPES 2020-Abstracts, 0 | | |
Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
