TY  - RPRT
TI  - A coalgebraic higher-order modal fixed-point logic
AU  - Ryan Tay
AU  - Harsh Beohar
AU  - Charles Grellois
PY  - 2026
UR  - https://arxiv.org/abs/2607.19160
ID  - 2607.19160
ER  -