| |
| 1997 | ||
|---|---|---|
| 3 | Vann McGee: The Complexity of the Modal Predicate Logic of ``True in Every Transitive Model of ZF''. J. Symb. Log. 62(4): 1371-1378 (1997) | |
| 1994 | ||
| 2 | Vann McGee: On the Degrees of Unsolvability of Modal Predicate Logics of Provability. J. Symb. Log. 59(1): 253-261 (1994) | |
| 1987 | ||
| 1 | George Boolos, Vann McGee: The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. J. Symb. Log. 52(1): 165-171 (1987) | |
| 1 | George Boolos | [1] |