Smullyan’s truth and provability

https://hdl.handle.net/20.500.14094/0100496316

このアイテムのアクセス数:27件（2025-07-23 08:07 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
公開年月日：2026.01.20 (fulltext)	pdf	332 KB

メタデータID	0100496316
アクセス権	embargoed access
出版タイプ	Accepted Manuscript
タイトル	Smullyan’s truth and provability
著者	著者ID A2869 研究者ID 1000010738446 KUID https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail.html?systemId=2c9eb67d37c54bf2520e17560c007669 著者名 Kurahashi, Taishi 倉橋, 太志クラハシ, タイシ所属機関名システム情報学研究科
著者	著者名 Tominaga, Kohei
言語	English (英語)
収録物名	Journal of Logic and Computation
巻(号)	35(5)
ページ	exaf001
出版者	Oxford University Press (OUP)
刊行日	2025-07
公開日	2026-01-20
注記	Published Online: 2025-01-20
カテゴリ	システム情報学研究科
カテゴリ	学術雑誌論文
権利	This is a pre-copyedited, author-produced version of an article accepted for publication in [Journal of Logic and Computation] following peer review. The version of record [Taishi Kurahashi, Kohei Tominaga, Smullyan’s truth and provability, Journal of Logic and Computation, Volume 35, Issue 5, July 2025, exaf001] is available online at: https://doi.org/10.1093/logcom/exaf001
関連情報	DOI https://doi.org/10.1093/logcom/exaf001