This paper contains formulas for several axiomatizations of a blocks world with moving blocks and painting blocks. Later versions will have more explanations, but I wanted to get the formulas down first.
