Journal of the Philosophical logic (Holland)