Some Observations on the FGH Theorem

DOI 機関リポジトリ (HANDLE) PDF Web Site 参考文献15件 オープンアクセス

この論文をさがす

説明

We investigate the Friedman–Goldfarb–Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem. Secondly, we prove some variations of the FGH theorem with respect to Rosser provability predicates.

収録刊行物

  • Studia Logica

    Studia Logica 111 (5), 749-778, 2023-10

    Springer Nature

参考文献 (15)*注記

もっと見る

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ