析了分析哲学的认识论，特别是 Chisholm、BonJour、Alston、Goldman等的着作； 在第二部《保证和恰当的功能》一书中，他介绍了保证（Warrant）这个概念用以替代证明（Justification）概念，并深入讨论了自我认知、记忆、感知、可能性；2000年，三部曲的最后一部《基督教信念的知识地位》出版。他把他保证理论运用到讨论基督教有神论信仰是否可以得到保证。他论证说这是可以的。但是很显然，这本书并没有讨论基督教有神论的信仰是否为真这个问题。
模态本体论论证.