@Inproceedings{EPTCS447.26,
  author    = {de Groot, Jim and Marcos, Jo\~ao and Stefanes, Rodrigo},
  year      = {2026},
  title     = {Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order 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     = {464-483},
  doi       = {10.4204/EPTCS.447.26},
}