John P. Burgess, Philosophical Logic