@misc{indiciaebe8ed4b65cb1, title = {Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics}, author = {Ryota Kojima and Corina Cirstea}, year = {2026}, doi = {10.46298/entics.16653}, url = {https://arxiv.org/abs/2510.04653}, note = {Source identifier: 2510.04653} }