Toward an epistemic-logical theory of categorization