solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看203次
Provability Logics of Hierarchies. (arXiv:1704.07678v1 [math.LO])
来源于:arXiv
The branch of provability logic investigates the provability-based behavior
of the mathematical theories. In a more precise way, it studies the relation
between a mathematical theory $T$ and a modal logic $L$ via the provability
interpretation which interprets the modality as the provability predicate of
$T$. In this paper we will extend this relation to investigate the
provability-based behavior of a hierarchy of theories. More precisely, using
the modal language with infinitely many modalities,
$\{\Box_n\}_{n=0}^{\infty}$, we will define the hierarchical counterparts of
some of the classical modal theories such as $\mathbf{K4}$, $\mathbf{KD4}$,
$\mathbf{GL}$ and $\mathbf{S4}$. Then we will define their canonical
provability interpretations and their corresponding soundness-completeness
theorems. 查看全文>>