On Provability Logic of HA
From MaRDI portal
Publication:6400799
Abstract: We axiomatize the provability logic of HA and show that it is decidable. Moreover we axiomatize the preservativity and relative admissibility for several modal logics extending iK4. As a main tool, we also provide some sort of semantics, called provability semantics, for modal logics extending iGL, which is a mixture of usual Kripke semantics and provability in propositional modal logics.
This page was built for publication: On Provability Logic of HA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6400799)
