Philosophical logic (Array, 2001)