A coalgebraic higher-order modal fixed-point logic

Ryan Tay, Harsh Beohar, Charles Grellois

We introduce a coalgebraic extension of the higher-order modal fixed-point logic (HFL) which subsumes both HFL and its probabilistic extension. We show that the emptiness problem f…