Logical Universality in 2D Cellular Automata