George Boolos The Analytical Completeness of Dzhaparidze's Polymodal Logics. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1993, v:61, n:1-2, pp:95-111 [Journal]
George Boolos On Deciding the Truth of Certain Statements Involving the Notion of Consistency. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1976, v:41, n:4, pp:779-781 [Journal]
George Boolos On Deciding the Provability of Certain Fixed Point Statements. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1977, v:42, n:2, pp:191-193 [Journal]
George Boolos Reflection Principles and Iterated Consistency Assertions. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1979, v:44, n:1, pp:33-35 [Journal]
George Boolos On the Nonexistence of Certain Normal Forms in the Logic of Provability. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1982, v:47, n:3, pp:638-640 [Journal]
George Boolos, Vann McGee The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1987, v:52, n:1, pp:165-171 [Journal]