@misc{indiciae5df0c9f8f3be,
  title = {First-Order Modal \$ξ\$-Calculus: On the Aspects of Application and Bisimulation},
  author = {Xinyu Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2110.07689},
  note = {Source identifier: 2110.07689}
}