TY  - RPRT
TI  - Beth Definability in the Logic KR
AU  - Jacob Garber
PY  - 2021
UR  - https://arxiv.org/abs/2006.00642
ID  - 2006.00642
ER  -