- J. Han, F. van Doorn, "A formalization of forcing and the unprovability of the continuum hypothesis"
- W. Pohlers, "Proof Theory: The First Step into Impredicativity"
- P. Hájek, P. Pudlák, "Metamathematics of First-Order Arithmetic"
- R. Kaye, "Models of Peano arithmetic"
- 田中 一之 (編), 『ゲーデルと 20 世紀の論理学』
- 菊池 誠 (編), 『数学における証明と真理 ─ 様相論理と数学基礎論』
- P. Blackburn, M. de Rijke, Y. Venema, "Modal Logic"
- Open Logic Project, "The Open Logic Text"
- R. Hakli, S. Negri, "Does the deduction theorem fail for modal logic?"
- G. Boolos, "The Logic of Provability"
- M. C. Fitting, V. W. Marek, and M. Truszczynski, "The Pure Logic of Necessitation"
- T. Kurahashi, "The provability logic of all provability predicates"
- W. Carnielli, C. Pizzi, "Modalities and Multimodalities"
- A. Chagrov, M. Zakharyaschev, "Modal Logic"
- G. E. Hughes, M. J. Cresswell, "A New Introduction to Modal Logic"
- K. Segerberg, "An Essay in Classical Modal Logic"