Journal of Logic, Language, and Information