@misc{indiciae9d2638950550,
  title = {Intensional FOL: Many-Sorted Extension},
  author = {Zoran Majkic},
  year = {2024},
  url = {https://arxiv.org/abs/2409.04469},
  note = {Source identifier: 2409.04469}
}