Vann McGee

	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)

Coauthor Index

1

George Boolos

[1]