Handbook of philosophical logic by