I am trying to read the logic of theory contraction and the logic of updating theories.

I am reading symbolic logic and trying to understand the symbols used in an assigned paper. I have been required to read this paper by my supervisor in my thesis work.