Very roughly, a program logic is a logic for reasoning about programs.
There are many varieties.
Please expand