A companion to philosophical logic (Blackwell, 2007)