@misc{misc, title  = {{A coalgebraic higher-order modal fixed-point logic}},

 year = {{2026}},

 month = {{7}},

 author = {{Tay R and Beohar H and Grellois C}},

 doi = {{10.48550/arxiv.2607.19160}},

 note = {{Accessed on 2026/08/23}}}