TY  - RPRT
TI  - Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
AU  - Ryota Kojima
AU  - Corina Cirstea
PY  - 2026
DO  - 10.46298/entics.16653
UR  - https://arxiv.org/abs/2510.04653
ID  - 2510.04653
ER  -