 The meaning of a program formula_2 is the set of possible computations of the program.Algorithmic logic is one of many logics of programs.Another logic of programs is dynamic logic, see dynamic logic, .