Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness - Krzysztof A. Krawczyk (2024)