@misc{indiciaecd5f55010440, title = {A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property}, author = {Varad Joshi and Anantha Padmanabha}, year = {2025}, url = {https://arxiv.org/abs/2506.01421}, note = {Source identifier: 2506.01421} }