TY  - RPRT
TI  - Bundled fragments of first-order modal logic: (un)decidability
AU  - Anantha Padmanabha
AU  - R. Ramanujam
AU  - Yanjing Wang
PY  - 2018
UR  - https://arxiv.org/abs/1803.10508
ID  - 1803.10508
ER  -