Shillito, Ian

1. A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised
   2023/09/01 by Shillito, Ian, van der Giessen, Iris, Goré, Rajeev +1 · 2 citations
   #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Mechanised uniform interpolation for modal logics K, GL, and iSL
   2024/02/16 by Hugo Férée, Férée, Hugo, Iris van der Giessen +5 · 2 citations
   Computer Science · Engineering · #03B20 #03B45 #03F45 #68V20 #Dynamics and Control of Mechanical Systems #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #I.2.3 #I.2.4 #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. Semantical Analysis of Intuitionistic Modal Logics between CK and IK
   2024/08/01 by de Groot, Jim, Shillito, Ian, Clouston, Ranald · 2 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)