@misc{indiciaebb0daffc62d7,
  title = {A coalgebraic higher-order modal fixed-point logic},
  author = {Ryan Tay and Harsh Beohar and Charles Grellois},
  year = {2026},
  url = {https://arxiv.org/abs/2607.19160},
  note = {Source identifier: 2607.19160}
}