An introduction to logical animation

In this paper the concept logical animation is described in a formal manner. It is abstracted from numerous popular animation applets made by dynamic geometry softwares. The concept is illustrated by a number of examples generated by the logical animation software SuperSketchpad (SSP), and some features and prospects related to applications of it are discussed.