research
∙
09/01/2023
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
We derive an intuitionistic version of Gödel-Löb modal logic (GL) in the...
share
research
∙
09/01/2023
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised
We provide a new sequent calculus that enjoys syntactic cut-elimination ...
research
∙
07/21/2023
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
We introduce a Gentzen-style framework, called layered sequent calculi, ...
research
∙
05/23/2021
