Before revision: It really started in 1989 with Plaza ’ s logic of public announcement.
After revision: It really started in 1989 with Plaza ' s logic of public announcement.