We derive an intuitionistic version of Gödel-Löb modal logic (GL)
in the...
We provide a new sequent calculus that enjoys syntactic cut-elimination ...
We introduce a Gentzen-style framework, called layered sequent calculi, ...
A modular proof-theoretic framework was recently developed to prove Crai...
share