TY  - RPRT
TI  - Two variable fragment of Term Modal Logic
AU  - Anantha Padmanabha
AU  - R. Ramanujam
PY  - 2019
UR  - https://arxiv.org/abs/1904.10260
ID  - 1904.10260
ER  -