FO Logic on Cellular Automata Orbits Equals MSO Logic.

Guillaume Theyssier

Published in: ICALP (2024)

Keyphrases

cellular automata
cellular automaton
modal logic
cellular automata model
chaotic dynamics
pattern formation
lattice gas
neural network
predator prey
potts model