Ian Shillito
Research Fellow in Computer Science
School of Computing and Information Systems
14 Scholarly works
0 Projects
HIGHLIGHTS
2026
Journal article
Intuitionistic Justification Logic, Semantically
DOI: 10.4204/EPTCS.447.342026
Book Chapter
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
DOI: 10.1007/978-3-032-32589-1_212026
Book Chapter
Uniform Interpolation with Constructive Diamond
DOI: 10.1007/978-3-032-32589-1_222025
Journal article
Intuitionistic S4 as a logic of topological spaces
DOI: 10.1093/logcom/exae0302025
Conference Proceedings
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
DOI: 10.4230/LIPIcs.CSL.2025.412025
Conference Proceedings
Completeness of First-Order Bi-Intuitionistic Logic
DOI: 10.4230/LIPIcs.CSL.2025.402025
Conference Proceedings
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
DOI: 10.1109/LICS65433.2025.00020
RECENT SCHOLARLY WORKS
2024
Conference Proceedings
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic
DOI: 10.1145/3636501.36369572024
Book Chapter
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL
DOI: 10.1007/978-3-031-63501-4_32023
Book Chapter
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
DOI: 10.1007/978-3-031-43513-3_5