James L. White

, 1991, 'Knowledge and deductive closure', Synthese 86 (3), 409-423.