TY - RPRT TI - Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness AU - Krzysztof A. Krawczyk PY - 2024 DO - 10.1093/logcom/exae027 UR - https://arxiv.org/abs/2402.12931 ID - 2402.12931 ER -