1 paper
Sebastian Reiche, Christoph Benzmüller
A shallow semantical embedding for public announcement logic with relativized common knowledge is presented. This embedding enables the first-time automation of this logic with off…