@Inproceedings{EPTCS447.14,
  author    = {Ciardelli, Ivano and Conti, Simone},
  year      = {2026},
  title     = {Labelled Sequents for Inquisitive First-Order Modal Logic},
  editor    = {B\'ilkov\'a, Marta and Gattinger, Malvin and Giessen, Iris van der and Girlando, Marianna and Wang, Yanjing},
  booktitle = {{\rm Proceedings of the Sixteenth International Conference on}
               Advances in Modal Logic,
               {\rm Amsterdam, The Netherlands, 29-06-2026}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {447},
  publisher = {Open Publishing Association},
  pages     = {242-261},
  doi       = {10.4204/EPTCS.447.14},
}