TY  - RPRT
TI  - An Expressive Coalgebraic Modal Logic for Cellular Automata
AU  - Henning Basold
AU  - Chase Ford
AU  - Lulof Pirée
PY  - 2025
UR  - https://arxiv.org/abs/2504.16735
ID  - 2504.16735
ER  -