@misc{indiciaef9a8f795e034, title = {Labelled Sequents for Inquisitive First-Order Modal Logic}, author = {Ivano Ciardelli and Simone Conti}, year = {2026}, doi = {10.4204/eptcs.447.14}, url = {https://arxiv.org/abs/2606.31868}, note = {Source identifier: 2606.31868} }