论文标题
关于HA的可预行性逻辑
On Provability Logic of HA
论文作者
论文摘要
我们将HA的可预订性逻辑化，并表明它是可决定的。此外，我们将几种模态逻辑扩展IK4的预防性和相对可接受性。作为一个主要工具，我们还为模态逻辑提供了某种语义，称为“可预订性语义”扩展了IGL，这是命题模态逻辑中通常的Kripke语义和普遍性的混合物。
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.
