This paper concerns modal logics of provability -- Gödel-Löb system GL and Solovay logic S -- the smallest and the greatest representation of arithmetical theories in propositional logic respectively.
当前正在显示可能无法访问的结果。
隐藏无法访问的结果当前正在显示可能无法访问的结果。
隐藏无法访问的结果