arXiv:2402.12931 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords epstein semantics, generalised epstein models, celebrated van benthem characterization theorem, undefinability, completeness Tags conference paper Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset