Papers in philosophical logic - Andrew M. Bailey