1 citations · 1 across the 3 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
Anupam Das, Iris van der Giessen, Sonia Marin
We derive an intuitionistic version of Gödel-Löb modal logic () in the style of Simpson, via proof theoretic techniques. We recover a labelled system, , by…
cs.LO2023
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised
Ian Shillito, Iris van der Giessen, Rajeev Goré +1
We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong Löb logic , an intuit…