ABLP stands for Abadi, Burrows, Lampson, and Plotkin. It is a logic of Saying That. See that page for more information.