Journal of logic, language and information