arXiv:2208.11354 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first-order logic, semilattices, hennessy-milner style theorem, single-sorted first-order language, relate pairs Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset