| Bi-Intuitionistic Logics: A New Instance of an Old Problem R Goré, I Shillito Advances in Modal Logic 13, 269-288, 2020 | 22 | 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 |
| New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq I Shillito PQDT-Global, 2022 | 5 | 2022 |
| Direct elimination of additive-cuts in GL4ip: verified and extracted R Goré, I Shillito Advances in Modal Logic 14, 2022 | 4 | 2022 |
| 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 | 3 | 2024 |
| 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 | 3 | 2023 |
| Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL H Férée, I Giessen, S Gool, I Shillito International Joint Conference on Automated Reasoning, 43-60, 2024 | 2 | 2024 |
| Intuitionistic S4 as a logic of topological spaces J de Groot, I Shillito Journal of Logic and Computation, exae030, 2024 | | 2024 |
| Semantical Analysis of Intuitionistic Modal Logics between CK and IK J de Groot, I Shillito, R Clouston arXiv preprint arXiv:2408.00262, 2024 | | 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 |
| 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 | | |
Rajeev GoreFaculty of Information Technology, Monash University, Australia在 monash.edu 的电子邮件经过验证
Rajeev GoreFaculty of Information Technology, Monash University, Australia在 monash.edu 的电子邮件经过验证
Ranald CloustonLecturer, Australian National University在 anu.edu.au 的电子邮件经过验证