Dynamic Logic Systems