Journal of Logic Language and Information