Journal of philosophical logic