Abstract
This paper provides a study of sequent calculi for intuitionistic Gödel-Löb logic (iGL), which is the intuitionistic version of the classical modal logic GL, known as Gödel-Löb logic. We present two different sequent calculi, one of which we prove to be the terminating version of the other. We study those
... read more