Journal of Logic, Language and Information